Commit 7dbb48dd authored by POGODALLA Sylvain's avatar POGODALLA Sylvain
Browse files

Compliance with opam adm files

parent db090524
...@@ -75,7 +75,7 @@ OPAM_ACG_REPO_DIR=~/www-acg/opam ...@@ -75,7 +75,7 @@ OPAM_ACG_REPO_DIR=~/www-acg/opam
OPAM_CALLIGRAMME_ACG_REPO_DIR=~/www-calligramme-acg/software/opam-acg OPAM_CALLIGRAMME_ACG_REPO_DIR=~/www-calligramme-acg/software/opam-acg
acgtk.url: tar acg-$(VERSION).tar.gz acgtk.url: tar acg-$(VERSION).tar.gz
md5sum acg-$(VERSION).tar.gz | cut -d " " -f 1 | xargs -I{} printf 'url {\n src: "http://acg.loria.fr/software/acg-$(VERSION).tar.gz"\n checksum: "%s"\n}\n' {} | cat acgtk.opam - > $@ md5sum acg-$(VERSION).tar.gz | cut -d " " -f 1 | xargs -I{} printf 'url {\n src: "http://acg.loria.fr/software/acg-$(VERSION).tar.gz"\n checksum: "md5=%s"\n}\n' {} | cat acgtk.opam - > $@
opam lint $@ opam lint $@
test-www-acg: opam-admin test-www-acg: opam-admin
......
...@@ -6,14 +6,14 @@ build: [ ...@@ -6,14 +6,14 @@ build: [
# remove the -p to also build the local libraries: conflict with the # remove the -p to also build the local libraries: conflict with the
# fact that some libraries are also part of the acgtkLib package # fact that some libraries are also part of the acgtkLib package
# ["dune" "build" "-p" name "-j" jobs] # ["dune" "build" "-p" name "-j" jobs]
["dune" "build" "-j" jobs] ["dune" "build" "--profile=release" "-j" jobs]
] ]
install: ["dune" "install"] install: ["dune" "install"]
depends: [ depends: [
"ocaml" { >= "4.03.0"} "ocaml" { >= "4.05.0" }
"dune" {build} "dune" { >= "1.0" }
"menhir" "menhir"
"ANSITerminal" "ANSITerminal"
"fmt" "fmt"
...@@ -28,7 +28,7 @@ depends: [ ...@@ -28,7 +28,7 @@ depends: [
dev-repo: "git+https://gitlab.inria.fr/ACG/dev/ACGtk.git" dev-repo: "git+https://gitlab.inria.fr/ACG/dev/ACGtk.git"
homepage: "http://acg.loria.fr/" homepage: "http://acg.loria.fr/"
license: "CeCILL" license: "CeCILL-1.0+"
authors: ["Sylvain Pogodalla"] authors: ["Sylvain Pogodalla"]
bug-reports: "sylvain.pogodalla@inria.fr" bug-reports: "sylvain.pogodalla@inria.fr"
......
...@@ -7,7 +7,7 @@ build: [ ...@@ -7,7 +7,7 @@ build: [
] ]
depends: [ depends: [
"dune" {build} "dune" { >= "1.0" }
"menhir" "menhir"
"ANSITerminal" "ANSITerminal"
"fmt" "fmt"
...@@ -17,11 +17,11 @@ depends: [ ...@@ -17,11 +17,11 @@ depends: [
"easy-format" "easy-format"
] ]
available: [ ocaml-version >= "4.03.0" ] available: [ ocaml-version >= "4.05.0" ]
dev-repo: "https://gitlab.inria.fr/ACG/dev/ACGtk.git" dev-repo: "https://gitlab.inria.fr/ACG/dev/ACGtk.git"
homepage: "http://acg.gforge.inria.fr/" homepage: "http://acg.gforge.inria.fr/"
license: "CeCILL" license: "CeCILL-1.0+"
authors: ["Sylvain Pogodalla"] authors: ["Sylvain Pogodalla"]
bug-reports: "sylvain.pogodalla@inria.fr" bug-reports: "sylvain.pogodalla@inria.fr"
(lang dune 1.1) (lang dune 1.0)
(using menhir 1.0) (using menhir 1.0)
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