Make target to install opam deps.

Signed-off-by: Karolis Petrauskas <k.petrauskas@gmail.com>

.gitignore

@@ -13,7 +13,6 @@
 /_build/
 /_build_cache/
 /.vscode/
-/tlapm.opam
 /tlaps-*.tar.gz
 
 /Makefile

Makefile.dune

@@ -5,8 +5,7 @@ PREFIX?=$(OPAM_SWITCH_PREFIX)
 all: build
 
 opam-deps:
-	# TODO: opam install ./ --deps-only
-	opam install --yes dune dune-site
+	opam install ./ --deps-only
 
 build:
 	dune build

dune-project

@@ -35,7 +35,7 @@
  (sites
   (lib backends) ; will contain all the provers, approx lib/tlapm/backends/.
   (lib stdlib))  ; TLA files composing the StdLib.
- (depends ocaml dune dune-site))
+ (depends ocaml dune-site))
 
 ; TODO: https://github.com/ocaml/dune/tree/main/example/with-configure-step.t
 ;       to derive the current os to name the release?

tlapm.opam

@@ -0,0 +1,50 @@
+# This file is generated by dune, edit dune-project instead
+opam-version: "2.0"
+synopsis: "TLA+ Proof Manager"
+description: "TLA+ Proof Manager"
+maintainer: [
+  "Kaustuv Chaudhuri"
+  "Denis Cousineau"
+  "Damien Doligez"
+  "Leslie Lamport"
+  "Tomer Libal"
+  "Stephan Merz"
+  "Jean-Baptiste Tristan"
+  "Hernan Vanzetto"
+]
+authors: [
+  "Kaustuv Chaudhuri"
+  "Denis Cousineau"
+  "Damien Doligez"
+  "Leslie Lamport"
+  "Tomer Libal"
+  "Stephan Merz"
+  "Jean-Baptiste Tristan"
+  "Hernan Vanzetto"
+]
+homepage: "https://github.com/tlaplus/tlapm"
+bug-reports: "https://github.com/tlaplus/tlapm/issues"
+depends: [
+  "dune" {>= "3.7"}
+  "ocaml"
+  "dune-site"
+  "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]
+  ["%{make}%" "-C" "%{lib}%/tlapm" "-f" "Makefile.post-install"]
+]
+dev-repo: "git+https://github.com/tlaplus/tlapm.git"