diff options
Diffstat (limited to 'dev-ml/facile/files/facile-1.1.4-dune.patch')
| -rw-r--r-- | dev-ml/facile/files/facile-1.1.4-dune.patch | 41 |
1 files changed, 41 insertions, 0 deletions
diff --git a/dev-ml/facile/files/facile-1.1.4-dune.patch b/dev-ml/facile/files/facile-1.1.4-dune.patch new file mode 100644 index 000000000000..f740a80c4cd5 --- /dev/null +++ b/dev-ml/facile/files/facile-1.1.4-dune.patch @@ -0,0 +1,41 @@ +diff --git a/dune-project b/dune-project +new file mode 100644 +index 0000000..7d8f2ba +--- /dev/null ++++ b/dune-project +@@ -0,0 +1,2 @@ ++(lang dune 2.9) ++(name facile) +diff --git a/examples/dune b/examples/dune +new file mode 100644 +index 0000000..b804a36 +--- /dev/null ++++ b/examples/dune +@@ -0,0 +1,4 @@ ++(executables ++ (libraries facile) ++ (names coins golf golomb jobshop magic marriage prolog seven_eleven tiles) ++) +diff --git a/lib/dune b/lib/dune +new file mode 100644 +index 0000000..d28179f +--- /dev/null ++++ b/lib/dune +@@ -0,0 +1,4 @@ ++(library ++ (public_name facile) ++ (ocamlopt_flags (-unsafe -noassert -inline 10)) ++) +diff --git a/lib_test/dune b/lib_test/dune +new file mode 100644 +index 0000000..e8993ee +--- /dev/null ++++ b/lib_test/dune +@@ -0,0 +1,7 @@ ++(executable ++ (libraries facile) ++ (name queens)) ++ ++(rule ++ (alias runtest) ++ (action (run ./queens.exe 8))) |