Add lower bounds for dependencies

CHANGES

+## Release 0.3.1
+  * Add lower bounds for dependencies
+  * Attach tests to corresponding packages
+
 ## Release 0.3
 
 initial release

Makefile

@@ -133,19 +133,32 @@ headers:
 clean:
 	dune clean --root=$$(pwd)
 
-PACKAGE_URL="https://git.frama-c.com/api/v4/projects/879/packages/generic/colibri2/$(TAG)/colibri2-$(TAG).tbz"
-DESCRIPTION="$(shell git show --format=%B --no-patch $(TAG) | tail -n+4)"
+PROJECT_ID=879
+PACKAGE_URL="https://git.frama-c.com/api/v4/projects/$(PROJECT_ID)/packages/generic/colibri2/$(TAG)/colibri2-$(TAG).tbz"
+DESCRIPTION="$(shell git show --format=%B --no-patch $(TAG) | tail -n+4 | perl -pe 's/\n/\\n/')"
+
+descr:
+	echo $(DESCRIPTION)
 
 release:
+	@echo "Have you checked CHANGES for $(TAG) (y/n)?"
+	@read yesno; test "$$yesno" = y
+	dune-release tag $(TAG)
+	dune-release distrib --no-build
 	curl --header "PRIVATE-TOKEN: $(GITLAB_TOKEN)" \
 	--upload-file _build/colibri2-$(TAG).tbz \
 	$(PACKAGE_URL)
 	echo $(PACKAGE_URL) > _build/asset-$(TAG).url
+	git push origin $(TAG)
+
+RELEASE_JSON=_build/release.json
 
-#Doesn't yet work, it should be created by hand.
 release2:
-	gitlab-release-cli --debug --server-url http://git.frama-c.com/ --project-id	\
-	879 --private-token $(GITLAB_TOKEN) create --ref $(shell git rev-parse	\
-	$(TAG)) --tag-name $(TAG) --name $(TAG) --description $(DESCRIPTION)	\
-	--assets-link='{"name": "release 0.3", "url":$(PACKAGE_URL), "type": "other", "filepath": "colibri2-$(TAG).tbz" }'
+	curl --header 'Content-Type: application/json' --header "PRIVATE-TOKEN:	\
+	$(GITLAB_TOKEN)" --request POST						\
+	"https://gitlab.example.com/api/v4/projects/$(PROJECT_ID)/releases" --data		\
+	'{"name": "Release $(TAG)","tag_name": "$(TAG)", "description":		\
+	$(DESCRIPTION), "milestones": [], "assets": { "links": [{ "name":	\
+	"colibri2-$(TAG).tbz", "url": "$(PACKAGE_URL)", "filepath":		\
+	"colibri2-$(TAG).tbz", "link_type":"other" }] } }'
 

colibri2.opam

@@ -5,9 +5,9 @@ description: "A reimplementation of COLIBRI in OCaml"
 maintainer: ["François Bobot"]
 authors: [
   "François Bobot"
+  "Bruno Marre"
   "Guillaume Bury"
   "Stéphane Graham-Lengrand"
-  "Bruno Marre"
 ]
 license: "LGPL-3.0-only"
 homepage: "https://colibri.frama-c.com"
@@ -23,17 +23,17 @@ depends: [
   "gen" {>= "0.5.3"}
   "dune" {>= "3.0"}
   "dune-build-info"
-  "zarith"
-  "ppx_deriving" {> "4.1.5"}
-  "ppx_optcomp"
-  "ppx_hash"
-  "ocamlgraph"
-  "qcheck-core"
+  "zarith" {>= "1.12"}
+  "ppx_deriving" {>= "5.2.1"}
+  "ppx_optcomp" {>= "v0.14.3"}
+  "ppx_hash" {>= "v0.14.0"}
+  "ocamlgraph" {>= "2.0.0"}
+  "qcheck-core" {>= "0.18.1"}
   "calcium"
   "farith"
-  "ounit2" {with-test}
+  "ounit2" {"2.2.4" >= with-test}
   "ocaml" {>= "4.08"}
-  "ocplib-simplex"
+  "ocplib-simplex" {>= "0.4"}
   "odoc" {with-doc}
 ]
 build: [

colibrics.opam

@@ -7,18 +7,18 @@ authors: ["François Bobot"]
 homepage: "https://colibri.frama-c.com"
 bug-reports: "https://git.frama-c.com/pub/colibrics/issues"
 depends: [
-  "ppx_deriving_yojson"
+  "ppx_deriving_yojson" {>= "3.6.1"}
   "dolmen" {>= "0.5~dev"}
   "dolmen_type" {>= "0.5~dev"}
   "dolmen_loop" {>= "0.5~dev"}
   "dune" {>= "3.0"}
-  "zarith"
+  "zarith" {>= "1.12"}
   "cmdliner" {= "1.0.4"}
   "ocaml" {>= "4.08"}
   "core" {>= "v0.14.1"}
-  "jingoo"
-  "logs"
-  "why3"
+  "jingoo" {>= "1.4.4"}
+  "logs" {>= "0.7.0"}
+  "why3" {>= "1.4.0"}
   "odoc" {with-doc}
 ]
 build: [

colibrilib.opam

@@ -8,7 +8,7 @@ homepage: "https://colibri.frama-c.com"
 bug-reports: "https://git.frama-c.com/pub/colibrics/issues"
 depends: [
   "dune" {>= "3.0"}
-  "zarith"
+  "zarith" {>= "1.12"}
   "odoc" {with-doc}
 ]
 build: [

dune-project

@@ -17,17 +17,18 @@
   (synopsis "A CP solver proved in Why3")
   (description "The core of Colibrics is formally proved using Why3.")
   (depends
-    "ppx_deriving_yojson"
+    ("ppx_deriving_yojson" (>= "3.6.1"))
     ("dolmen" (>= "0.5~dev"))
     ("dolmen_type" (>= "0.5~dev"))
     ("dolmen_loop" (>= "0.5~dev"))
     "dune"
-    "zarith"
+    ("zarith" (>= "1.12"))
     ("cmdliner" (= 1.0.4))
     ("ocaml" (>= "4.08"))
     ("core" (>= "v0.14.1"))
-    "jingoo" "logs"
-    "why3"
+    ("jingoo" (>= "1.4.4"))
+    ("logs" (>= "0.7.0"))
+    ("why3" (>= "1.4.0"))
   )
 )
 
@@ -38,7 +39,7 @@
   (synopsis "A library of domains and propagators proved in Why3")
   (description "Interval, and union of interval domains defined formally")
   (depends
-    "zarith"
+    ("zarith" (>= "1.12"))
   )
 )
 
@@ -60,17 +61,17 @@
            ("gen" (>= 0.5.3))
            "dune"
            "dune-build-info"
-           "zarith"
-           ("ppx_deriving" (> "4.1.5"))
-           "ppx_optcomp"
-           "ppx_hash"
-           "ocamlgraph"
-           "qcheck-core"
+           ("zarith" (>= "1.12"))
+           ("ppx_deriving" (>= "5.2.1"))
+           ("ppx_optcomp" (>= "v0.14.3"))
+           ("ppx_hash" (>= "v0.14.0"))
+           ("ocamlgraph" (>= "2.0.0"))
+           ("qcheck-core" (>= "0.18.1"))
            ; ("ppx_deriving_qcheck" (>= 0.2.0))
            "calcium"
            "farith"
-           ("ounit2" :with-test)
+           ("ounit2" (>= "2.2.4" :with-test))
           ("ocaml" (>= "4.08"))
-           "ocplib-simplex"
+           ("ocplib-simplex" (>= "0.4"))
          )
 )