Updated install lists

This commit is contained in:
Denis Merigoux 2022-02-02 11:37:45 +01:00
parent 0d90dcea00
commit b46641b549
No known key found for this signature in database
GPG Key ID: EE99DCFA365C3EE3
2 changed files with 9 additions and 10 deletions

View File

@ -58,21 +58,21 @@ git submodules, with
This should ensure everything is set up for developing on the Catala compiler!
Other features for generation of files and literate programming also require
the following executables to be present
Other features of the Catala repository also require the following executables
to be present
man2html virtualenv python3 rsync colordiff pygmentize
man2html virtualenv python3 pip rsync colordiff pygmentize nodejs npm
please install them if they're not here. On a Debian distribution, this can be
please install them if they're not here, otherwise you will get some errors.
On a Debian distribution, this can be
done with
sudo apt install python3-dev python3-setuptools python3-pygments man2html rsync colordiff
sudo apt install python3-dev virtualenv python3-setuptools python3-pip python3-pygments man2html rsync colordiff npm nodejs libmpc-dev
sudo python3 -m pip install --upgrade pip
sudo python3 -m pip install virtualenv
On ArchLinux :
sudo pacman -S python-virtualenv man2html rsync colordiff
sudo pacman -S python-virtualenv man2html rsync colordiff nodejs npm
## Build

View File

@ -10,14 +10,13 @@ export
# Dependencies
##########################################
EXECUTABLES = man2html virtualenv python3 colordiff node pygmentize
EXECUTABLES = man2html virtualenv python3 colordiff node pygmentize nodejs npm
K := $(foreach exec,$(EXECUTABLES),\
$(if $(shell which $(exec)),some string,$(warning [WARNING] No "$(exec)" executable found. \
Please install this executable for everything to work smoothly)))
# The Zarith dependency is fixed because of https://github.com/janestreet/zarith_stubs_js/pull/8
dependencies-ocaml:
opam install . --deps-only
opam install . --deps-only --with-doc --with-test
dependencies-js:
$(MAKE) -C $(FRENCH_LAW_JS_LIB_DIR) dependencies