From 8dbf8014991bd7456dfa09b85f07c04086d70459 Mon Sep 17 00:00:00 2001 From: Marc Coquand Date: Fri, 17 May 2024 12:03:09 -0500 Subject: stuff --- stitch.opam.template | 14 ++++++++++++++ 1 file changed, 14 insertions(+) create mode 100644 stitch.opam.template (limited to 'stitch.opam.template') diff --git a/stitch.opam.template b/stitch.opam.template new file mode 100644 index 0000000..0244e4f --- /dev/null +++ b/stitch.opam.template @@ -0,0 +1,14 @@ +build: [ + ["dune" "subst"] {release} + [ + "dune" + "build" + "-p" + name + "-j" + jobs + "@install" + "--profile" + "release" + ] +] -- cgit v1.2.3