diff options
author | Stephane Glondu <steph@glondu.net> | 2020-02-10 04:56:01 +0100 |
---|---|---|
committer | Stephane Glondu <steph@glondu.net> | 2020-02-10 04:56:01 +0100 |
commit | 3cf210e35eaabf898c603be290b3f37208d0bdb2 (patch) | |
tree | 4f7442d897852e58d0ec37fcd267c1b7fddd13ed /src/ocaml_optcomp/dune | |
parent | c265f18e04df5b3802b4a3e8c9503025ef88e251 (diff) |
New upstream version 0.12.1
Diffstat (limited to 'src/ocaml_optcomp/dune')
-rw-r--r-- | src/ocaml_optcomp/dune | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/src/ocaml_optcomp/dune b/src/ocaml_optcomp/dune new file mode 100644 index 0000000..eef396e --- /dev/null +++ b/src/ocaml_optcomp/dune @@ -0,0 +1,15 @@ +(library + (name ocaml_optcomp) + (public_name ocaml-compiler-libs.optcomp) + (flags :standard -safe-string) + (optional) + (libraries compiler-libs.optcomp) + (preprocess no_preprocessing)) + +(rule + (targets ocaml_optcomp.ml) + (deps + (:first_dep ../gen/gen.exe)) + (action + (run %{first_dep} -archive %{ocaml_where}/compiler-libs/ocamloptcomp.cma -o + %{targets}))) |