ivpm.yaml

package:
  name: zuspec-sv

  setup-deps:
  - ninja
  - cython

  dep-sets:
  - name: default
    deps: 
    - name: pytypeworks
      url: https://github.com/fvutils/pytypeworks.git
    - name: pyvsc-dataclasses
      url: https://github.com/vsc-tools/pyvsc-dataclasses.git
    - name: zuspec-dataclasses
      url: https://github.com/zuspec/zuspec-dataclasses.git
    - name: vsc-dm
      url: https://github.com/vsc-tools/vsc-dm.git
    - name: vsc-solvers
      url: https://github.com/vsc-tools/vsc-solvers.git
    - name: zuspec-arl-dm
      url: https://github.com/zuspec/zuspec-arl-dm.git
    - name: zuspec-arl-eval
      url: https://github.com/zuspec/zuspec-arl-eval.git
    - name: zuspec-parser
      url: https://github.com/zuspec/zuspec-parser.git
    - name: zuspec-fe-parser
      url: https://github.com/zuspec/zuspec-fe-parser.git
    - name: zuspec-be-sw
      url: https://github.com/zuspec/zuspec-be-sw.git
    - name: zuspec-cli
      url: https://github.com/zuspec/zuspec-cli.git
    - name: fltools
      url: https://github.com/fvutils/fltools.git
    - name: fusesoc
      url: https://github.com/olofk/fusesoc.git
    - name: simplesat
      version: 0.8.2
      src: pypi
    - name: ciostream
      url: https://github.com/mballance-utils/ciostream.git
    - name: ninja
      src: pypi
    - name: cython
      src: pypi

  - name: default-dev
    deps:
    - name: debug-mgr
      url: https://github.com/mballance-utils/debug-mgr.git
    - name: pytypeworks
      url: https://github.com/fvutils/pytypeworks.git
    - name: pyvsc-dataclasses
      url: https://github.com/vsc-tools/pyvsc-dataclasses.git
    - name: zuspec-dataclasses
      url: https://github.com/zuspec/zuspec-dataclasses.git
    - name: vsc-dm
      url: https://github.com/vsc-tools/vsc-dm.git
    - name: vsc-solvers
      url: https://github.com/vsc-tools/vsc-solvers.git
    - name: zuspec-arl-dm
      url: https://github.com/zuspec/zuspec-arl-dm.git
    - name: zuspec-arl-eval
      url: https://github.com/zuspec/zuspec-arl-eval.git
    - name: zuspec-parser
      url: https://github.com/zuspec/zuspec-parser.git
    - name: zuspec-fe-parser
      url: https://github.com/zuspec/zuspec-fe-parser.git
    - name: zuspec-cli
      url: https://github.com/zuspec/zuspec-cli.git
    - name: pytest-fv
      url: https://github.com/fvutils/pytest-fv.git
    - name: ninja
      src: pypi
    - name: simplesat
      version: 0.8.2
      src: pypi
    - name: verilator
      url: https://github.com/pss-hands-on/verilator-bin/releases/download/v5.028/verilator-ubuntu-x64-5.028.tar.gz
      #      url: https://github.com/pss-hands-on/verilator-bin/releases/download/v5.028/verilator-ubuntu-x64-5.030.tar.gz
    - name: cython
      src: pypi
    - name: Sphinx
      src: pypi
    - name: sphinx-argparse
      src: pypi
    - name: sphinxcontrib-makedomain
      src: pypi
    - name: sphinxcontrib-openapi
      src: pypi
    - name: sphinxcontrib-spelling
      src: pypi
    - name: sphinx-rtd-theme
      src: pypi
    - name: sphinx-jsonschema
      src: pypi
  
  env:
  - name: PYTHONPATH
    path-prepend: ${IVPM_PROJECT}/python
  - name: PATH
    path-prepend: ${IVPM_PACKAGES}/verilator/bin