Commit 8b941865 authored by POGODALLA Sylvain's avatar POGODALLA Sylvain

Fixed some missing dependencies for opam install of acgtk 1.5.0

parent 1861f014
......@@ -82,16 +82,16 @@ opam-package/url: tar
md5sum acg-$(VERSION).tar.gz | cut -d " " -f 1 | xargs -i printf "archive: \"http://calligramme.loria.fr/acg/software/acg-$(VERSION).tar.gz\"\nchecksum: \"%s\"\n" {} > $@
test-www-acg:
cd $(OPAM_ACG_REPO_DIR) && opam-admin make && rsync -vaz --rsh="ssh -l pogodall" ../opam-acg pogodall@loria.loria.fr:$(OPAM_ACG_REPO_DIR) && rsync -vaz --rsh="ssh -l pogodall" ../opam-acg pogodall@loria.loria.fr:$(OPAM_CALLIGRAMME_ACG_REPO_DIR)
cd $(OPAM_ACG_REPO_DIR) && opam-admin make && echo "Going to rsync with loria.loria.fr:$(OPAM_ACG_REPO_DIR)" && rsync -vaz --rsh="ssh -l pogodall" ./ pogodall@loria.loria.fr:$(OPAM_ACG_REPO_DIR) && echo "Going to rsync with loria.loria.fr:$(OPAM_CALLIGRAMME_ACG_REPO_DIR)" && rsync -vaz --rsh="ssh -l pogodall" ./ pogodall@loria.loria.fr:$(OPAM_CALLIGRAMME_ACG_REPO_DIR)
opam-meta: tar
cp -rT opam-package $(OPAM_TESTING_DIR)/acgtk/acgtk.$(VERSION_BASENAME)
cp -rT opam-package $(OPAM_GIT_REPO_DIR)/acgtk/acgtk.$(VERSION_BASENAME)
cp -rT opam-package $(OPAM_ACG_REPO_DIR)/packages/acgtk/acgtk.$(VERSION_BASENAME) && cd $(OPAM_ACG_REPO_DIR) && opam-admin make && rsync -vaz --rsh="ssh -l pogodall" ../opam-acg pogodall@loria.loria.fr:$(OPAM_ACG_REPO_DIR) && rsync -vaz --rsh="ssh -l pogodall" ../opam-acg pogodall@loria.loria.fr:$(OPAM_CALLIGRAMME_ACG_REPO_DIR)
cp -rT opam-package $(OPAM_ACG_REPO_DIR)/packages/acgtk/acgtk.$(VERSION_BASENAME) && cd $(OPAM_ACG_REPO_DIR) && opam-admin make && echo "Going to rsync with loria.loria.fr:$(OPAM_ACG_REPO_DIR)" && rsync -vaz --rsh="ssh -l pogodall" ./ pogodall@loria.loria.fr:$(OPAM_ACG_REPO_DIR) && echo "Going to rsync with loria.loria.fr:$(OPAM_CALLIGRAMME_ACG_REPO_DIR)" && rsync -vaz --rsh="ssh -l pogodall" ./ pogodall@loria.loria.fr:$(OPAM_CALLIGRAMME_ACG_REPO_DIR)
opam:opam-package/url www version
opam lint opam-package/opam
cp -rT opam-package $(OPAM_TESTING_DIR)/acgtk/acgtk.$(VERSION_BASENAME)
cp -rT opam-package $(OPAM_GIT_REPO_DIR)/acgtk/acgtk.$(VERSION_BASENAME)
cp -rT opam-package $(OPAM_ACG_REPO_DIR)/packages/acgtk/acgtk.$(VERSION_BASENAME) && cd $(OPAM_ACG_REPO_DIR) && opam-admin make && rsync -vaz --rsh="ssh -l pogodall" ../opam-acg pogodall@loria.loria.fr:$(OPAM_ACG_REPO_DIR) && rsync -vaz --rsh="ssh -l pogodall" ../opam-acg pogodall@loria.loria.fr:$(OPAM_CALLIGRAMME_ACG_REPO_DIR)
cp -rT opam-package $(OPAM_ACG_REPO_DIR)/packages/acgtk/acgtk.$(VERSION_BASENAME) && cd $(OPAM_ACG_REPO_DIR) && opam-admin make && echo "Going to rsync with loria.loria.fr:$(OPAM_ACG_REPO_DIR)" && rsync -vaz --rsh="ssh -l pogodall" ./ pogodall@loria.loria.fr:$(OPAM_ACG_REPO_DIR) && echo "Going to rsync with loria.loria.fr:$(OPAM_CALLIGRAMME_ACG_REPO_DIR)" && rsync -vaz --rsh="ssh -l pogodall" ./ pogodall@loria.loria.fr:$(OPAM_CALLIGRAMME_ACG_REPO_DIR)
This diff is collapsed.
......@@ -17,6 +17,7 @@ depends: [
"ANSITerminal"
"fmt"
"logs"
"mtime"
"cairo2"
"yojson"
"easy-format"
......
archive: "http://calligramme.loria.fr/acg/software/acg-1.5.0-20181015.tar.gz"
checksum: "82e612154e72f4412b26eae0d1a6e0c9"
checksum: "b45e2f22a996c36a5c5d7f01219468da"
......@@ -135,7 +135,7 @@ let message =
| 204 | 2 ->
"A typing judgment in the form of \"<term> : <type>\" is expected.\n"
| 8 ->
"A typing judgement in the form of \": <type>;\" or a type definition with a colon ':' and the 'type' keyword in the form of \": type;\" is expected in a term or a type definition.\n"
"A typing judgement in the form of \": <type>;\", or a type definition with a colon ':' and the 'type' keyword in the form of \": type;\" are expected in a term or a type definition.\n"
| 35 | 206 | 145 | 143 | 133 | 28 ->
"A type expression is expected after ':'.\n"
| _ ->
......
......@@ -7,7 +7,6 @@
(flags (:standard -w -58))
(modules (:standard \ typeInference_test))
(libraries
dyp ; external library
ANSITerminal ; external library
utilsLib ; internal library
))
......
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