basic opam support

WebAssembly · Jun 20, 2023 · 4ee754b · 4ee754b
1 parent 64f328f
commit 4ee754b
Show file tree

Hide file tree

Showing 5 changed files with 35 additions and 2 deletions.
diff --git a/interpreter/.gitignore b/interpreter/.gitignore
@@ -1,2 +1,3 @@
 _build
 wasm
+*.install
diff --git a/interpreter/Makefile b/interpreter/Makefile
@@ -81,6 +81,9 @@ smallinttest:	smallint
 dunetest:
 	dune test
 
+install:
+	dune build -p $(NAME) @install
+	dune install
 
 # Miscellaneous targets
 

diff --git a/interpreter/dune b/interpreter/dune
@@ -1,15 +1,15 @@
 (include_subdirs unqualified)
 
 (library
- (name wasm)
+ (public_name wasm)
  ; The 'wasm' module shall not be part of the library, as it would start the
  ; Wasm REPL every time in all the dependencies.
  ; We exclude the 'wast' module as it is only used for the JS build.
  ; 'smallint' is a separate test module.
  (modules :standard \ wasm smallint wast))
 
 (executable
- (name wasm)
+ (public_name wasm)
  (modules wasm)
  (libraries wasm)
  (flags

diff --git a/interpreter/dune-project b/interpreter/dune-project
@@ -1 +1,8 @@
 (lang dune 2.9)
+
+(name "wasm")
+
+(generate_opam_files true)
+
+(package
+  (name "wasm"))
diff --git a/interpreter/wasm.opam b/interpreter/wasm.opam
@@ -0,0 +1,22 @@
+# This file is generated by dune, edit dune-project instead
+opam-version: "2.0"
+depends: [
+  "dune" {>= "2.9"}
+  "odoc" {with-doc}
+]
+build: [
+  ["dune" "subst"] {dev}
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "--promote-install-files=false"
+    "@install"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+  ]
+  ["dune" "install" "-p" name "--create-install-files" name]
+]