From 9f9224d74f021bb6af106f60c51eca7d89ab80a9 Mon Sep 17 00:00:00 2001
From: Louis Gesbert <louis.gesbert@ocamlpro.com>
Date: Wed, 26 Jun 2024 11:16:03 +0200
Subject: [PATCH 1/3] Ajout du fichier clerk.toml
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Ce fichier spécifie les répertoires à inclure dans le projet; une fois le patch
https://github.com/CatalaLang/catala/pull/639 intégré dans catala, cela
permettra de lancer la commande `clerk` directement (par exemple, `clerk test
tests/benefices_non_commerciaux.catala_fr`).
---
 clerk.toml | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 clerk.toml

diff --git a/clerk.toml b/clerk.toml
new file mode 100644
index 0000000..6b180f1
--- /dev/null
+++ b/clerk.toml
@@ -0,0 +1,2 @@
+[project]
+include_dirs = ["sources"]
-- 
GitLab


From a8cbd622a4694712e14ef8ccfbcdfa3dd52a703d Mon Sep 17 00:00:00 2001
From: Louis Gesbert <louis.gesbert@ocamlpro.com>
Date: Wed, 26 Jun 2024 11:28:04 +0200
Subject: [PATCH 2/3] =?UTF-8?q?Mise=20=C3=A0=20jour=20des=20dates=20de=20c?=
 =?UTF-8?q?opyright?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 sources/impot_revenu.catala_fr | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sources/impot_revenu.catala_fr b/sources/impot_revenu.catala_fr
index c442ac2..e00e44d 100644
--- a/sources/impot_revenu.catala_fr
+++ b/sources/impot_revenu.catala_fr
@@ -1,5 +1,5 @@
 ```catala
-# Copyright DGFiP 2023. Contributeurs : Caroline Flori
+# Copyright DGFiP 2023-2024. Contributeurs : Caroline Flori
 # <caroline.flori@dgfip.finances.gouv.fr>, Denis Merigoux
 # <denis.merigoux@inria.fr>, Louis Gesbert <louis.gesbert@inria.fr>.
 
-- 
GitLab


From 5e8ddd9666d4dcc470503d99280c610db56776b5 Mon Sep 17 00:00:00 2001
From: Louis Gesbert <louis.gesbert@ocamlpro.com>
Date: Wed, 26 Jun 2024 11:31:12 +0200
Subject: [PATCH 3/3] Inclusion du module `Oracles` dans le pdf
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

et suppression des cibles obsolètes `make pdf` et consorts, qui généraient des
fichier individuels pour chaque module, au profit de `impot_revenu.pdf` qui
inclut tout dans un seul pdf.
---
 Makefile | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/Makefile b/Makefile
index 008b90a..fa03200 100644
--- a/Makefile
+++ b/Makefile
@@ -38,12 +38,12 @@ test-native: test-native-nombre_de_parts test-native-traitements_salaires
 %.pdf: %.tex
 	cd $(<D) && latexmk -xelatex -shell-escape -halt-on-error $(<F)
 
-LITERATE = sources/impot_revenu.catala_fr tests/interface.catala_fr tests/nombre_de_parts.catala_fr tests/traitements_salaires.catala_fr
+LITERATE = sources/impot_revenu.catala_fr sources/oracles.catala_fr tests/interface.catala_fr tests/nombre_de_parts.catala_fr tests/traitements_salaires.catala_fr
 
-latex: $(LITERATE:.catala_fr=.tex)
-pdf: $(LITERATE:.catala_fr=.pdf)
+latex: impot_revenu.tex
+pdf: impot_revenu.pdf
 
-impot_revenu.tex: sources/impot_revenu.catala_fr tests/interface.catala_fr tests/nombre_de_parts.catala_fr tests/traitements_salaires.catala_fr
+impot_revenu.tex: $(LITERATE)
 	$(CATALA_BIN) LaTeX $(CATALA_OPTS) $^ -w -o $@
 
 TraitementsSalaires%:
-- 
GitLab