update nix files

.nix/french_law.nix

@@ -0,0 +1,32 @@
+{ lib
+, buildDunePackage
+, odoc
+, catala
+}:
+
+buildDunePackage {
+  pname = "french_law";
+  version = "0.7.0"; # TODO parse `catala.opam` with opam2json
+
+  minimumOCamlVersion = "4.11";
+
+  src = ../.;
+
+  duneVersion = "3";
+
+  propagatedBuildInputs = [
+    odoc
+    catala
+  ];
+
+  nativeBuildInputs = [ catala ];
+  doCheck = true;
+
+  meta = with lib; {
+    homepage = "https://github.com/CatalaLang/catala";
+    description =
+      "Build system for Catala, a specification language for tax and social benefits computation rules";
+    license = licenses.asl20;
+    maintainers = with maintainers; [ ];
+  };
+}

.nix/packages.nix

@@ -10,4 +10,5 @@ ocamlPackages.overrideScope' (self: super: {
   clerk = self.callPackage ./clerk.nix { };
   ubase = self.callPackage ./ubase.nix { };
   dates_calc = self.callPackage ./dates_calc.nix { };
+  french_law = self.callPackage ./french_law.nix { };
 })

flake.nix

@@ -16,6 +16,7 @@
           packages = {
             catala = ocamlPackages.catala;
             clerk = ocamlPackages.clerk;
+            french_law = ocamlPackages.french_law;
           };
           defaultPackage = packages.catala;
           devShell = pkgs.mkShell {

french_law/ocaml/dune

@@ -1,7 +1,9 @@
 (executable
  (name bench)
  (modes native)
+ (public_name bench)
  (modules bench)
+ (package french_law)
  (libraries catala.runtime_ocaml french_law benchmark))
 
 (executable
@@ -28,5 +30,6 @@
 
 (rule
  (alias runtest)
+ (package french_law)
  (action
-  (run ./bench.exe)))
+  (run bench)))