catala/Makefile

88 lines
2.1 KiB
Makefile
Raw Normal View History

2020-04-20 09:35:22 +03:00
# Catala compiler rules
2020-04-26 19:42:42 +03:00
install-dependencies-ocaml:
2020-04-17 14:02:15 +03:00
opam install \
ANSITerminal \
sedlex \
menhir \
menhirLib \
2020-04-26 21:16:03 +03:00
dune dune-build-info \
2020-04-17 14:02:15 +03:00
cmdliner \
tls cohttp lwt cohttp-lwt-unix yojson\
2020-04-26 13:20:09 +03:00
re reason
2020-04-26 19:42:42 +03:00
install-dependencies: install-dependencies-ocaml
2020-04-17 14:02:15 +03:00
git submodule update --init
2020-04-20 09:35:22 +03:00
format:
2020-04-24 20:16:50 +03:00
dune build @fmt --auto-promote | true
2020-04-20 09:35:22 +03:00
build:
$(MAKE) -C src/catala/parsing parser_errors.ml
2020-04-19 17:30:18 +03:00
dune build
$(MAKE) format
2020-04-19 17:30:18 +03:00
2020-04-20 09:35:22 +03:00
install: build
2020-04-16 18:47:35 +03:00
dune build @install
2020-04-20 09:35:22 +03:00
# Pygments syntax highilghting rules
2020-03-08 05:30:37 +03:00
PYGMENTS_DIR_FR=${CURDIR}/syntax_highlighting/fr/pygments
PYGMENTIZE_FR=$(PYGMENTS_DIR_FR)/pygments/env/bin/pygmentize
PYGMENTS_DIR_EN=${CURDIR}/syntax_highlighting/en/pygments
PYGMENTIZE_EN=$(PYGMENTS_DIR_EN)/pygments/env/bin/pygmentize
$(PYGMENTIZE_FR): $(PYGMENTS_DIR_FR)/set_up_pygments.sh $(PYGMENTS_DIR_FR)/catala_fr.py
chmod +x $<
$<
$(PYGMENTIZE_EN): $(PYGMENTS_DIR_EN)/set_up_pygments.sh $(PYGMENTS_DIR_EN)/catala_en.py
2020-04-19 17:30:18 +03:00
chmod +x $<
$<
pygments: $(PYGMENTIZE_FR) $(PYGMENTIZE_EN)
2020-04-26 21:59:04 +03:00
atom_fr: ${CURDIR}/syntax_highlighting/fr/atom/setup_atom.sh
chmod +x $<
$<
2020-04-20 09:35:22 +03:00
2020-04-26 21:59:04 +03:00
atom_en: ${CURDIR}/syntax_highlighting/en/atom/setup_atom.sh
chmod +x $<
$<
atom: atom_fr atom_en
2020-04-20 09:35:22 +03:00
# Examples-related rule
EXAMPLES_DIR=examples
ALLOCATIONS_FAMILIALES_DIR=$(EXAMPLES_DIR)/allocations_familiales
2020-04-20 10:07:12 +03:00
ENGLISH_DUMMY_DIR=$(EXAMPLES_DIR)/dummy_english
allocations_familiales: $(PYGMENTIZE_FR) build
$(MAKE) -C $(ALLOCATIONS_FAMILIALES_DIR) allocations_familiales.pdf
allocations_familiales_expired: build
$(MAKE) -C $(ALLOCATIONS_FAMILIALES_DIR) allocations_familiales.expired
english: $(PYGMENTIZE_EN) build
$(MAKE) -C $(ENGLISH_DUMMY_DIR) english.pdf
2020-04-19 17:30:18 +03:00
2020-04-20 09:35:22 +03:00
all_examples: allocations_familiales english
2020-04-20 09:35:22 +03:00
# Misceallenous
2020-04-20 09:35:22 +03:00
all: install-dependencies install all_examples
2020-04-20 09:35:22 +03:00
clean:
dune clean
$(MAKE) -C $(ALLOCATIONS_FAMILIALES_DIR) clean
$(MAKE) -C $(ENGLISH_DUMMY_DIR) clean
2020-04-19 17:30:18 +03:00
2020-04-13 19:57:24 +03:00
inspect:
2020-04-16 18:47:35 +03:00
gitinspector -f ml,mli,mly,iro,tex,catala,md,ir --grading
2020-04-20 20:37:16 +03:00
# Special targets
.PHONY: inspect clean all all_examples english allocations_familiales pygments \
2020-04-26 19:42:42 +03:00
install build format install-dependencies install-dependencies-ocaml