Replies: 1 comment 6 replies
-
Hi Brando, Does this handle OPAM packages, SerAPI, CoqHammer, etc. (The steps 1–5 in the README). Or is it only for Python? |
Beta Was this translation helpful? Give feedback.
6 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
Hi Kaiyu!
What do you think of organizing the code base as a standard python package so people interested in your work can more easily install the great code for your project?
Usually what I do is put everything in a
repo-name-proj
folder. Then inside it asetup.py
as follows:then people can use
pip install
and editable mode installs (the nice one advantage!) likein the location where
setup.py
is.Let me know what you think! :)
References:
Beta Was this translation helpful? Give feedback.
All reactions