summaryrefslogtreecommitdiff
path: root/libsexplib0-ocaml-dev.install.in
diff options
context:
space:
mode:
Diffstat (limited to 'libsexplib0-ocaml-dev.install.in')
-rw-r--r--libsexplib0-ocaml-dev.install.in10
1 files changed, 10 insertions, 0 deletions
diff --git a/libsexplib0-ocaml-dev.install.in b/libsexplib0-ocaml-dev.install.in
new file mode 100644
index 0000000..1751ef4
--- /dev/null
+++ b/libsexplib0-ocaml-dev.install.in
@@ -0,0 +1,10 @@
+@OCamlStdlibDir@/sexplib0/*dune*
+@OCamlStdlibDir@/sexplib0/*opam*
+@OCamlStdlibDir@/sexplib0/*.ml
+@OCamlStdlibDir@/sexplib0/*.mli
+@OCamlStdlibDir@/sexplib0/*.cmi
+@OCamlStdlibDir@/sexplib0/*.cmt
+@OCamlStdlibDir@/sexplib0/*.cmti
+OPT: @OCamlStdlibDir@/sexplib0/*.a
+OPT: @OCamlStdlibDir@/sexplib0/*.cmx
+OPT: @OCamlStdlibDir@/sexplib0/*.cmxa