CatalaLang/catala
1
1
Fork 0
mirror of https://github.com/CatalaLang/catala.git synced 2024-11-08 07:51:43 +03:00
Code Issues Projects Releases Wiki Activity

Makefile tweaks

Browse Source
This commit is contained in:
Denis Merigoux 2020-12-21 18:26:01 +01:00
parent cc2c93f157
commit dbfd990f95
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
Makefile
View File

@ -41,8 +41,8 @@ format:
dune build @fmt --auto-promote | true
build:
$(MAKE) -C src/catala/catala_surface parser_errors.ml
$(MAKE) format
@$(MAKE) --no-print-directory -C src/catala/catala_surface parser_errors.ml
@$(MAKE) --no-print-directory format
dune build
doc:
@ -171,7 +171,7 @@ clean:
$(MAKE) -C $(CODE_GENERAL_IMPOTS_DIR) clean
inspect:
gitinspector -f ml,mli,mly,iro,tex,catala,md,ir --grading
gitinspector -f ml,mli,mly,iro,tex,catala,catala_en,catala_fr,md,fst,mld --grading
##########################################
# Special targets