معرفی شرکت ها

coq-config-0.0.2

Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
0.0.2
0.0.1
0.0.2
0.0.1

توضیحات

"Script to set up a Coq project dependencies using opam, inspired by Haskell's stack."
ویژگی مقدار
سیستم عامل -
نام فایل coq-config-0.0.2
نام coq-config
نسخه کتابخانه 0.0.2
نگهدارنده []
ایمیل نگهدارنده []
نویسنده Vadim Zaliva
ایمیل نویسنده lord@crocodile.org
آدرس صفحه اصلی https://github.com/vzaliva/coq-config
آدرس اینترنتی https://pypi.org/project/coq-config/
مجوز -
# Coq-config Simple script to set up a Coq project dependencies using *opam*. Inspired by Haskell's `stack`. ## Documentation Reads `coq_config.yaml` file and set up am *opam* *switch* and install required packages. Optionally checks out some sub-projects from *git* (an alternative to using sub-modules). ### Notes - It is safe to run multiple times. - The *opam* packages where the version numer was specified, will be pinned, so it is safe to do `opam update` aftewards. - You will need to activate opam switch specified in config with `opam switch` command. The script does not change current active switch for you. - Tested with *opam* verson 2.0.5. ## To-Do - Run `opam init` if necessary - If switch exists, check if the right compiler is used and update if necessary. - When adding repositories, check their URLs, not just names. It they do not match the config - report error. - Run `coq-config` for all `extra-deps` - When re-running, make sure pinned version removed or updated if changed. ## Installation The easiets way to install is using `pip`: `pip install coq-config` ### Manual install To run from local clone of git repository install dependencies (using `pip`): - click - pyyaml - cerberus ## Contact For bugs reports, contributions and source code visit [project page on github](https://github.com/vzaliva/coq-config).


نیازمندی

مقدار نام
>=1.3.2 cerberus
>=7.0 click
>=5.3.1 pyyaml


نحوه نصب


نصب پکیج whl coq-config-0.0.2:

    pip install coq-config-0.0.2.whl


نصب پکیج tar.gz coq-config-0.0.2:

    pip install coq-config-0.0.2.tar.gz