diff options
| author | Stephane Glondu <steph@glondu.net> | 2022-03-02 07:44:30 +0100 |
|---|---|---|
| committer | Stéphane Glondu <steph@glondu.net> | 2022-03-02 07:44:30 +0100 |
| commit | c1ec19971f36b16f4ff297e08c55d342fa908b99 (patch) | |
| tree | dc556905eab5d10ee5296a6528a3832976619e2e | |
| parent | 776c27e6abc671db61da83a6f7d98c8e561f603c (diff) | |
| parent | 65622e58bdfe5cdc75932e40cb94131b1f354cab (diff) | |
Update upstream source from tag 'upstream/0.14.3'
Update to upstream version '0.14.3'
with Debian dir 9aa59fde12b2b34a3530ee80f036a66dde3c923e
| -rw-r--r-- | compiler-stdlib/src/dune | 4 | ||||
| -rw-r--r-- | shadow-stdlib/src/dune | 6 |
2 files changed, 5 insertions, 5 deletions
diff --git a/compiler-stdlib/src/dune b/compiler-stdlib/src/dune index 317f8e4..f0125b1 100644 --- a/compiler-stdlib/src/dune +++ b/compiler-stdlib/src/dune @@ -1,4 +1,4 @@ (library (name caml) (public_name base.caml) (preprocess no_preprocessing)) -(rule (targets caml.ml) (deps (:first_dep ../gen/gen.exe)) - (action (run %{first_dep} -ocaml-where %{ocaml_where} -o %{targets})))
\ No newline at end of file +(rule (targets caml.ml) + (action (run ../gen/gen.exe -ocaml-where %{ocaml_where} -o %{targets}))) diff --git a/shadow-stdlib/src/dune b/shadow-stdlib/src/dune index 8d3d470..5a8571d 100644 --- a/shadow-stdlib/src/dune +++ b/shadow-stdlib/src/dune @@ -2,7 +2,7 @@ (libraries caml) (preprocess no_preprocessing)) (rule (targets shadow_stdlib.mli) - (deps (:first_dep ../gen/gen.exe) ../../compiler-stdlib/src/caml.cma) + (deps ../../compiler-stdlib/src/caml.cma) (action - (run %{first_dep} -caml-cmi ../../compiler-stdlib/src/.caml.objs/caml.cmi - ../../compiler-stdlib/src/.caml.objs/byte/caml.cmi -o %{targets})))
\ No newline at end of file + (run ../gen/gen.exe -caml-cmi ../../compiler-stdlib/src/.caml.objs/caml.cmi + ../../compiler-stdlib/src/.caml.objs/byte/caml.cmi -o %{targets}))) |