From 20addbe8fd0ac4c79c8a69a4f888ec320a9ca4c3 Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Sat, 2 Jan 2021 16:20:42 +0100 Subject: Refactor --- dune | 26 -------------------------- 1 file changed, 26 deletions(-) delete mode 100755 dune (limited to 'dune') diff --git a/dune b/dune deleted file mode 100755 index 1536f2b..0000000 --- a/dune +++ /dev/null @@ -1,26 +0,0 @@ -(executables - (names script) - (libraries - js_of_ocaml - brr - brr.note - vg - vg.htmlc - messages - messages_json - worker - shapes - tools - elements - blog - path - ) - (modes js) - (preprocess (pps ppx_hash)) - (link_flags (:standard -no-check-prims)) - ) - -(rule - (targets script.js) - (deps script.bc.js) - (action (run cp %{deps} %{targets}))) -- cgit v1.2.3