pycoq

pycoq copied to clipboard

I noticed that:

make install && dune build examples/test.py && dune exec -- python3 _build/default/examples/test.py

runs code and builds/compiles code through make install.

If any code is needed to be ran for pycoq to work it can be ran in the the setup.py file when one calls pip install . The opam env can also be set up there. The setup.py file is turning complete since it's a python file so everything can be ran there. This applies to the test.py related issue: https://github.com/ejgallego/pycoq/issues/28

Perhaps we can try moving stuff there and installing with pip install . or pip install -e .?

Hopefully this helps remove this unpythonic:

make install && dune build examples/test.py && dune exec -- python3 _build/default/examples/test.py

type of commands.