Move opam files to subdirectory

brendanzab · brendanzab · commit 6e384fe14bcb · 2024-11-11T11:05:18.000+11:00
diff --git a/.gitignore b/.gitignore
@@ -1,3 +1,2 @@
 # dune files
 _build
-*.opam
diff --git a/dune-project b/dune-project
@@ -1,9 +1,10 @@
-(lang dune 3.4)
+(lang dune 3.8)
 (name hello)
 (license MIT-0)
 
 ; https://dune.readthedocs.io/en/stable/opam.html#generating-opam-files
-(generate_opam_files true)
+(generate_opam_files)
+(opam_file_location inside_opam_directory)
 
 (cram enable)
 
diff --git a/flake.nix b/flake.nix
@@ -55,9 +55,9 @@
 
             strictDeps = true;
 
-            preBuild = ''
-              dune build hello.opam
-            '';
+            # preBuild = ''
+            #   dune build hello.opam
+            # '';
           };
         });
 
diff --git a/opam/hello.opam b/opam/hello.opam
@@ -0,0 +1,22 @@
+# This file is generated by dune, edit dune-project instead
+opam-version: "2.0"
+synopsis: "Friendly greetings"
+license: "MIT-0"
+depends: [
+  "dune" {>= "3.8"}
+  "odoc" {with-doc}
+]
+build: [
+  ["dune" "subst"] {dev}
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "@install"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+  ]
+]
