Skip to content

GitLab

Commit 6a2220b5 authored by erwan's avatar erwan
Browse files

build: Replace custom depexts by conf packages

parent 990e6ad5
Hide whitespace changes
Inline Side-by-side
lutin.opam
View file @ 6a2220b5
......@@ -18,11 +18,13 @@ depends: [
"ocaml" {>= "4.05"}
"base-bigarray"
"conf-gmp"
"conf-mpfr"
"conf-m4" {build}
"conf-perl" {build}
"base-unix" {build}
"num"
"camlidl"
"graphics" {test}
"graphics"
"extlib" {build} | "extlib-compat" {build}
"lustre-v6"
"lutils" {>= "1.49"}
......@@ -33,9 +35,3 @@ depends: [
]
post-messages:
"The last version can be obtained via (opam repo add) http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository/"
depexts: [
["perl" "gmp-dev" "mpfr-dev" "m4"] {os-distribution = "alpine"}
["perl" "gmp-devel" "mpfr-devel" "m4"] {os-distribution = "centos"}
["perl" "libgmp-dev" "libmpfr-dev" "m4"] {os-distribution = "debian"}
["perl" "libgmp-dev" "libmpfr-dev" "m4"] {os-distribution = "ubuntu"}
]
polka.opam
View file @ 6a2220b5
......@@ -13,6 +13,8 @@ depends: [
"ocaml" {>= "4.05"}
"base-bigarray"
"conf-gmp"
"conf-mpfr"
"conf-m4" {build}
"conf-perl" {build}
"base-unix" {build}
"num"
......@@ -24,9 +26,3 @@ depends: [
]
post-messages:
"The last version can be obtained via (opam repo add) http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository/"
depexts: [
["perl" "gmp-dev" "mpfr-dev" "m4"] {os-distribution = "alpine"}
["perl" "gmp-devel" "mpfr-devel" "m4"] {os-distribution = "centos"}
["perl" "libgmp-dev" "libmpfr-dev" "m4"] {os-distribution = "debian"}
["perl" "libgmp-dev" "libmpfr-dev" "m4"] {os-distribution = "ubuntu"}
]
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment