diff --git a/Makefile b/Makefile index 29414dd8..982da621 100644 --- a/Makefile +++ b/Makefile @@ -16,10 +16,10 @@ K := $(foreach exec,$(EXECUTABLES),\ Please install this executable for everything to work smoothly))) dependencies-ocaml: - opam install . --deps-only --with-doc --with-test --yes + opam install . ./doc/catala-dev-dependencies.opam --deps-only --with-doc --with-test --yes dependencies-ocaml-with-z3: - opam install . z3 --deps-only --with-doc --with-test --yes + opam install . ./doc/catala-dev-dependencies.opam z3 --deps-only --with-doc --with-test --yes dependencies-js: $(MAKE) -C $(FRENCH_LAW_JS_LIB_DIR) dependencies diff --git a/doc/catala-dev-dependencies.opam b/doc/catala-dev-dependencies.opam new file mode 100644 index 00000000..0a4ff8e3 --- /dev/null +++ b/doc/catala-dev-dependencies.opam @@ -0,0 +1,20 @@ +opam-version: "2.0" +version: "0.6.0" +synopsis: "Virtual package listing the requirements for a complete Catala dev environment" +maintainer: ["contact@catala-lang.org"] +authors: [ + "Denis Merigoux" + "Nicolas Chataing" + "Emile Rolley" + "Louis Gesbert" + "Aymeric Fromherz" + "Alain Delaƫt-Tixeuil" +] +license: "Apache-2.0" +homepage: "https://github.com/CatalaLang/catala" +bug-reports: "https://github.com/CatalaLang/catala/issues" +depends: [ + "ocamlformat" {= "0.21.0"} + "obelisk" + "conf-npm" +]