Fix dune setup
Since I'm apparently not able to fork your repo for some reason here is a patch that fixes the dune problem correctly.
There is supposed to be only one dune-project
file at the top of your project and the opam files should be in the root directory too. That way, the .install
files are properly appearing at the right place for opam to install it correctly.
From a32ab9caac4d157eefa184ad4f1c1a0991da56cc Mon Sep 17 00:00:00 2001
From: Kate <kit.ty.kate@disroot.org>
Date: Thu, 6 Dec 2018 00:26:09 +0000
Subject: [PATCH] Fix dune setup
---
demos/brz/dune-project | 1 -
demos/cfg/dune-project | 1 -
demos/cyk/dune-project | 1 -
demos/fib/dune-project | 1 -
demos/hco/dune-project | 1 -
demos/tst/dune-project | 1 -
dune-project | 2 +-
src/fix.opam => fix.opam | 3 ---
src/dune-project | 1 -
9 files changed, 1 insertion(+), 11 deletions(-)
delete mode 100644 demos/brz/dune-project
delete mode 100644 demos/cfg/dune-project
delete mode 100644 demos/cyk/dune-project
delete mode 100644 demos/fib/dune-project
delete mode 100644 demos/hco/dune-project
delete mode 100644 demos/tst/dune-project
rename src/fix.opam => fix.opam (90%)
delete mode 100644 src/dune-project
diff --git a/demos/brz/dune-project b/demos/brz/dune-project
deleted file mode 100644
index 31a7429..0000000
--- a/demos/brz/dune-project
+++ /dev/null
@@ -1 +0,0 @@
-(lang dune 1.3)
diff --git a/demos/cfg/dune-project b/demos/cfg/dune-project
deleted file mode 100644
index 31a7429..0000000
--- a/demos/cfg/dune-project
+++ /dev/null
@@ -1 +0,0 @@
-(lang dune 1.3)
diff --git a/demos/cyk/dune-project b/demos/cyk/dune-project
deleted file mode 100644
index 31a7429..0000000
--- a/demos/cyk/dune-project
+++ /dev/null
@@ -1 +0,0 @@
-(lang dune 1.3)
diff --git a/demos/fib/dune-project b/demos/fib/dune-project
deleted file mode 100644
index 31a7429..0000000
--- a/demos/fib/dune-project
+++ /dev/null
@@ -1 +0,0 @@
-(lang dune 1.3)
diff --git a/demos/hco/dune-project b/demos/hco/dune-project
deleted file mode 100644
index 31a7429..0000000
--- a/demos/hco/dune-project
+++ /dev/null
@@ -1 +0,0 @@
-(lang dune 1.3)
diff --git a/demos/tst/dune-project b/demos/tst/dune-project
deleted file mode 100644
index 31a7429..0000000
--- a/demos/tst/dune-project
+++ /dev/null
@@ -1 +0,0 @@
-(lang dune 1.3)
diff --git a/dune-project b/dune-project
index f933729..de4fc20 100644
--- a/dune-project
+++ b/dune-project
@@ -1 +1 @@
-(lang dune 1.4)
+(lang dune 1.0)
diff --git a/src/fix.opam b/fix.opam
similarity index 90%
rename from src/fix.opam
rename to fix.opam
index 8fc1a6e..53c83d9 100644
--- a/src/fix.opam
+++ b/fix.opam
@@ -10,9 +10,6 @@ bug-reports: "francois.pottier@inria.fr"
build: [
["dune" "build" "-p" name "-j" jobs]
]
-install: [
- ["dune" "install" "-p" name]
-]
depends: [
"ocaml" { >= "4.03" }
"dune" {build}
diff --git a/src/dune-project b/src/dune-project
deleted file mode 100644
index 31a7429..0000000
--- a/src/dune-project
+++ /dev/null
@@ -1 +0,0 @@
-(lang dune 1.3)
--
2.20.0.rc1