diff options
author | V3n3RiX <venerix@koprulu.sector> | 2023-01-31 03:00:52 +0000 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2023-01-31 03:00:52 +0000 |
commit | 4b70b249bd1fe7302633ca0b4f7abd22dd269d02 (patch) | |
tree | c39fc6439ab9c72db6a0f070fe02312591ccc963 /dev-ml/facile/files/facile-1.1.4-dune.patch | |
parent | 182063dd85a03f2086258946276c8967945ffe95 (diff) |
gentoo auto-resync : 31:01:2023 - 03:00:52
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 | 42 |
1 files changed, 42 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..f9c667cabb1d --- /dev/null +++ b/dev-ml/facile/files/facile-1.1.4-dune.patch @@ -0,0 +1,42 @@ +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,5 @@ ++(library ++ (public_name facile) ++ (libraries stdlib-shims) ++ (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))) |