diff --git a/dune-project b/dune-project index ac05499..ec399b6 100644 --- 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 index 757fc99..fbec38f 100644 --- 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 index 6c34f2b..f5da177 100644 --- 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 index 2fbb539..6f6be4c 100644 --- 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}