Commit 854e39b7 authored by fpottier's avatar fpottier

Minor changes to GNUmakefile.

Automatically set DATE only if not externally set already.
Remove -B option to scp (allows interactive mode).
Support GODI release 4.01 (although not clear if it officially exists).


git-svn-id: svn+ssh://scm.gforge.inria.fr/svnroot/menhir@360 0f8b5475-4b4e-0410-85a8-ee3154a6bfe7
parent 24d71664
......@@ -41,9 +41,12 @@ clean:
export CDPATH=
# Distribution.
# The version number is automatically set to the current date.
# The version number is automatically set to the current date,
# unles DATE is defined on the command line.
ifndef $(DATE)
DATE := $(shell /bin/date +%Y%m%d)
endif
PACKAGE := menhir-$(DATE)
CURRENT := $(shell pwd)
TARBALL := $(CURRENT)/$(PACKAGE).tar.gz
......@@ -59,7 +62,7 @@ GODIWORK := /home/fpottier/dev/godi-build
GODISVN := $(GODIWORK)/trunk/$(GODINAME)
GODIH := $(GODI_HOME)/build/$(GODINAME)
GODIPACK := $(GODIWORK)/pack
GODIMAP := $(GODIPACK)/release.4.00.map
GODIMAP := $(GODIPACK)/release.4.00.map $(GODIPACK)/release.4.01.map
GODIURL := https://godirepo.camlcity.org/godi_admin
GODIVA := $(GODI_HOME)/bin/godiva
......@@ -141,7 +144,7 @@ check:
# Copying to my Web site.
RSYNC := scp -p -B -C
RSYNC := scp -p -C
TARGET := yquem.inria.fr:public_html/menhir/
PAGE := /home/fpottier/dev/page
......
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