Update dune/opam files for opam release

mathiasbourgoin · Aug 23, 2021 · d36797b · d36797b
1 parent a5f1e3f
commit d36797b
Show file tree

Hide file tree

Showing 4 changed files with 9 additions and 10 deletions.
diff --git a/dune-project b/dune-project
@@ -14,7 +14,7 @@
  (synopsis "High-level GPGPU programming library for OCaml")
  (description "")
  (depends
- (ocaml (>= 4.09.0))
+ (ocaml (>= 4.11.0))
   re
   (dune (> 2.0))
   cppo
@@ -28,7 +28,7 @@
  (synopsis "GPGPU kernel DSL for OCaml")
  (description "")
  (depends
- (ocaml (>= 4.09.0))
+ (ocaml (>= 4.11.0))
   spoc
   re
   (dune (> 2.0))
@@ -39,20 +39,19 @@
   spoc
  ))
 
-(package 
+(package
   (name spoc_ppx)
   (synopsis "PPX to declare external GPGPU kernels written in CUDA or OpenCL")
   (description "")
   (depends
- (ocaml (>= 4.09.0))
+ (ocaml (>= 4.11.0))
   re
   (dune (> 2.0))
   cppo
   camlp4
   ctypes
   ctypes-foreign
-  ppxlib
+  (ppxlib (>= 0.22.0))
   ppx_tools
   spoc
  ))
-
diff --git a/sarek.opam b/sarek.opam
@@ -8,7 +8,7 @@ license: "Cecill-B"
 homepage: "https://github.com/mathiasbourgoin/SPOC"
 bug-reports: "https://github.com/mathiasbourgoin/SPOC/issues"
 depends: [
-  "ocaml" {>= "4.09.0"}
+  "ocaml" {>= "4.07.0"}
   "spoc"
   "re"
   "dune" {>= "2.9" & > "2.0"}

diff --git a/spoc.opam b/spoc.opam
@@ -8,7 +8,7 @@ license: "Cecill-B"
 homepage: "https://github.com/mathiasbourgoin/SPOC"
 bug-reports: "https://github.com/mathiasbourgoin/SPOC/issues"
 depends: [
-  "ocaml" {>= "4.09.0"}
+  "ocaml" {>= "4.07.0"}
   "re"
   "dune" {>= "2.9" & > "2.0"}
   "cppo"

diff --git a/spoc_ppx.opam b/spoc_ppx.opam
@@ -8,14 +8,14 @@ license: "Cecill-B"
 homepage: "https://github.com/mathiasbourgoin/SPOC"
 bug-reports: "https://github.com/mathiasbourgoin/SPOC/issues"
 depends: [
-  "ocaml" {>= "4.09.0"}
+  "ocaml" {>= "4.07.0"}
   "re"
   "dune" {>= "2.9" & > "2.0"}
   "cppo"
   "camlp4"
   "ctypes"
   "ctypes-foreign"
-  "ppxlib"
+  "ppxlib" {>= "0.22.0"}
   "ppx_tools"
   "spoc"
   "odoc" {with-doc}