...
 
Commits (10)
......@@ -17,7 +17,7 @@
# #
##########################################################################
.PHONY: clean install uninstall tar www release test-www-acg opam-meta opam version set_log_level
.PHONY: clean install uninstall tar www release test-www-acg opam-meta opam version package-copying opam-admin sync
VERSION_BASENAME=$(shell cat acgtk.version)
VERSION = $(VERSION_BASENAME)-$(shell date "+%Y%m%d")
......@@ -31,11 +31,6 @@ clean:
dune clean
find . -name "*~" -exec rm -f {} \;
set_log_level:
# find . -name "dune" -exec sed -i -e 's/-level \([^ ]*\)/-level TRACE/' {} \;
find . -name "dune" -exec sed -i -e 's/-level \([^ ]*\)/-level NONE/' {} \;
install:
dune install
......@@ -75,23 +70,28 @@ FORCE:
OPAM_TESTING_DIR=~/work/dev/opam-contrib/testing/packages
OPAM_GIT_REPO_DIR=~/work/dev/opam-contrib/opam-repository/packages
OPAM_ACG_REPO_DIR=~/www-acg/software/opam-acg/2.0
OPAM_ACG_REPO_DIR=~/www-acg/opam
OPAM_CALLIGRAMME_ACG_REPO_DIR=~/www-calligramme-acg/software/opam-acg
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" {} > $@
md5sum acg-$(VERSION).tar.gz | cut -d " " -f 1 | xargs -i printf "archive: \"http://acg.loria.fr/software/acg-$(VERSION).tar.gz\"\nchecksum: \"%s\"\n" {} > $@
test-www-acg:
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)
test-www-acg: opam-admin
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 && 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)
sync: opam-admin
cd $(OPAM_ACG_REPO_DIR) && 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-admin:
cd $(OPAM_ACG_REPO_DIR) && opam admin make
opam:opam-package/url www version
package-copying: tar
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 && 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)
cp -rT opam-package $(OPAM_ACG_REPO_DIR)/packages/acgtk/acgtk.$(VERSION_BASENAME)
opam-meta: package-copying opam-admin sync
opam:opam-package/url www version package-copying opam-admin sync
Abstract Categorial Grammar development toolkit.
Abstract Categorial Grammar development toolkit
This toolkit provides a compiler and an interpreter for Abstract Categorial Grammars (ACGs). Grammars can be compiled and then used by the interpreter to parse (if the grammar is at most second-order) or to generate terms. See http://acg.loria.fr for more details and bibliographic references.
......@@ -12,6 +12,7 @@ build: [
install: ["dune" "install"]
depends: [
"ocaml" {version >= "4.03.0"}
"dune" {build}
"menhir"
"ANSITerminal"
......@@ -24,9 +25,7 @@ depends: [
"ocf"
]
available: [ ocaml-version >= "4.03.0" ]
dev-repo: "https://gitlab.inria.fr/ACG/dev/ACGtk.git"
dev-repo: "git+https://gitlab.inria.fr/ACG/dev/ACGtk.git"
homepage: "http://acg.inria.fr/"
license: "CeCILL"
......
archive: "http://calligramme.loria.fr/acg/software/acg-1.5.0-20181016.tar.gz"
checksum: "4b037edfdd9630eec9667fca6c49e46b"
archive: "http://acg.loria.fr/software/acg-1.5.0-20181018.tar.gz"
checksum: "846ce34835d46a2a7bf1c3e0918de204"