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
Uh oh!
There was an error while loading. Please reload this page.
-
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