Commit dca6c06a authored by Erwan Jahier's avatar Erwan Jahier

Issue a 1.51 release !

And fix the release building and test Makefile...
parent 31b28071
......@@ -2,7 +2,7 @@ VERSION:=$(shell E=`git log --oneline | wc -l` ; echo "$$E-166" | bc )
VERSION:="1.$(VERSION)"
# well, finally, set it manually...
VERSION:="1.50"
VERSION:=1.51
# the sha is still automatic tough!
SHA:=`git log -1 --pretty=format:"%h"`
......
V1.51 (8/07/2010)
* New feature: when some SUT or environement inputs are missing, use
luciole to generate them.
* Enhance the gnuplot-rif visualiser
V1.50 (18/05/2010)
* New feature: Compute a coverage rate. It looks at oracle outputs
......@@ -21,7 +28,7 @@ V1.48 (25/03/2010)
#ORACLE_OUTPUT pragma. That can be very convenient to track why
the oracle failed.
V1.47 (19/03/2010)
* Turn around a bug in ocaml (cf
......
......@@ -3,8 +3,8 @@ LINKER= gcc -g
EXE=
CFLAGS = \
-L../../lib \
-I../../include
-L../../../lib \
-I../../../include
LIBS = -lluc4c_nc -llucky_nc -lgmp -lm -ldl -lstdc++
LUC2C=../../../$(HOST_TYPE)/bin/luc2c
......
......@@ -11,7 +11,7 @@ PREFIX =$(LURETTE_PATH)
# XXX MODIFY IT IF NECESSARY !!!
PREFIX =$(shell pwd)/../..
PREFIX =$(shell pwd)/../../..
# C include and lib directories
INCDIR = $(PREFIX)/include
......
......@@ -11,13 +11,13 @@ window.ml: window.rml
window: window.ml
$(OCAMLC) -o window \
-I `$(RMLC) -where` -I ../lib \
-I `$(RMLC) -where` -I ../../lib \
luc4ocaml.cma rmllib.cma \
window.ml
window.opt: window.ml
$(OCAMLOPT) -o window \
-I `$(RMLC) -where` -I +lucky -I ../lib \
-I `$(RMLC) -where` -I +lucky -I ../../lib \
$(LUC4OCAML_CMXA) rmllib.cmxa \
window.ml
......
......@@ -104,6 +104,7 @@ lurette-rel: strip
$(LURETTE_PATH)/$(HOST_TYPE)/bin/xlurette_exe$(EXE) \
/tmp/$(LURETTE_RELEASE_NAME)/bin || true
\
pushd /tmp/$(LURETTE_RELEASE_NAME) && ln -s . $(HOST_TYPE) && popd &&\
rm -f $(LURETTE_PATH)/install/config.log
rm -f $(LURETTE_PATH)/install/config.status
cp -rf $(LURETTE_PATH)/install /tmp/$(LURETTE_RELEASE_NAME)
......@@ -184,6 +185,7 @@ lucky-rel:strip
mkdir /tmp/$(LUCKY_RELEASE_NAME)/bin
mkdir /tmp/$(LUCKY_RELEASE_NAME)/doc
\
pushd /tmp/$(LUCKY_RELEASE_NAME) && ln -s . $(HOST_TYPE) && popd &&\
cp $(LURETTE_PATH)/$(HOST_TYPE)/bin/lucky$(EXE) /tmp/$(LUCKY_RELEASE_NAME)/bin/
cp $(LURETTE_PATH)/$(HOST_TYPE)/bin/gnuplot-rif$(EXE) /tmp/$(LUCKY_RELEASE_NAME)/bin/
cp $(LURETTE_PATH)/$(HOST_TYPE)/bin/show_luc$(EXE) /tmp/$(LUCKY_RELEASE_NAME)/bin/
......@@ -218,10 +220,13 @@ draw-rel:
mkdir /tmp/$(DRAW_RELEASE_NAME)/examples
mkdir /tmp/$(DRAW_RELEASE_NAME)/examples/luckyDraw
mkdir /tmp/$(DRAW_RELEASE_NAME)/doc
mkdir /tmp/$(DRAW_RELEASE_NAME)/bin
mkdir /tmp/$(DRAW_RELEASE_NAME)/lib
mkdir /tmp/$(DRAW_RELEASE_NAME)/include
\
pushd /tmp/$(DRAW_RELEASE_NAME) && ln -s . $(HOST_TYPE) && popd &&\
cp -rf ../examples/luckyDraw /tmp/$(DRAW_RELEASE_NAME)/examples/
cp -rf $(SYNCHRONE_LURETTE_DIR)/doc/luckydraw /tmp/$(DRAW_RELEASE_NAME)/doc/ || true
mkdir /tmp/$(DRAW_RELEASE_NAME)/lib
\
cp ../README-luckyDraw /tmp/$(DRAW_RELEASE_NAME)/
cp -rf $(LURETTE_PATH)/$(HOSTTYPE)/lib/*polka*a /tmp/$(DRAW_RELEASE_NAME)/lib
......@@ -230,7 +235,7 @@ draw-rel:
\
cp $(LURETTE_PATH)/$(HOSTTYPE)/lib/*luckyDraw*.* /tmp/$(DRAW_RELEASE_NAME)/lib
\
mv /tmp/$(DRAW_RELEASE_NAME)/lib/luckyDraw.top /tmp/$(DRAW_RELEASE_NAME)/bin || true
mv /tmp/$(DRAW_RELEASE_NAME)/lib/luckyDraw.top /tmp/$(DRAW_RELEASE_NAME)/bin/ || true
\rm -f /tmp/$(DRAW_RELEASE_NAME)/*~
\
cd /tmp && tar cvfz $(DRAW_RELEASE_NAME).tgz $(DRAW_RELEASE_NAME)
......@@ -257,13 +262,14 @@ LUC4OCAML_RELEASE_NAME=luc4ocaml_$(VERSION)_$(HOSTTYPE32)+ocaml-$(OCAMLC_RELEASE
luc4ocaml-rel:
rm -rf /tmp/$(LUC4OCAML_RELEASE_NAME); mkdir /tmp/$(LUC4OCAML_RELEASE_NAME)
mkdir /tmp/$(LUC4OCAML_RELEASE_NAME)/lib
mkdir /tmp/$(LUC4OCAML_RELEASE_NAME)/bin
mkdir /tmp/$(LUC4OCAML_RELEASE_NAME)/bin/
mkdir /tmp/$(LUC4OCAML_RELEASE_NAME)/examples
mkdir /tmp/$(LUC4OCAML_RELEASE_NAME)/doc
\
pushd /tmp/$(LUC4OCAML_RELEASE_NAME) && ln -s . $(HOST_TYPE) && popd &&\
ranlib ../$(HOSTTYPE)/lib/*.a
cp ../README-luc4ocaml /tmp/$(LUC4OCAML_RELEASE_NAME)/
cp ../$(HOSTTYPE)/bin/luc2c /tmp/$(LUC4OCAML_RELEASE_NAME)/bin
cp ../$(HOSTTYPE)/bin/luc2c /tmp/$(LUC4OCAML_RELEASE_NAME)/bin/
cp ../$(HOSTTYPE)/lib/liblucky_nc.a /tmp/$(LUC4OCAML_RELEASE_NAME)/lib
cp ../$(HOSTTYPE)/lib/libluc4c_nc.a /tmp/$(LUC4OCAML_RELEASE_NAME)/lib
cp ../$(HOSTTYPE)/lib/libgmp.a /tmp/$(LUC4OCAML_RELEASE_NAME)/lib || true
......@@ -273,7 +279,7 @@ luc4ocaml-rel:
cp -rf $(LURETTE_PATH)/$(HOSTTYPE)/lib/*bdd*a /tmp/$(LUC4OCAML_RELEASE_NAME)/lib
cp $(CAML_INSTALL_DIR)/libcamlidl.a /tmp/$(LUC4OCAML_RELEASE_NAME)/lib
\
mv /tmp/$(LUC4OCAML_RELEASE_NAME)/lib/luc4ocaml.top /tmp/$(LUC4OCAML_RELEASE_NAME)/bin || true
mv /tmp/$(LUC4OCAML_RELEASE_NAME)/lib/luc4ocaml.top /tmp/$(LUC4OCAML_RELEASE_NAME)/bin/ || true
\
cp -rf $(HOME)/SYNCHRONE/lurette/doc/luc4ocaml \
/tmp/$(LUC4OCAML_RELEASE_NAME)/doc || true
......@@ -295,6 +301,7 @@ test-luc4ocaml-rel:
#################################################################################################"
LUC4C_RELEASE_NAME=luc4c_$(VERSION)_$(HOSTTYPE32)
luc4c-rel:
rm -rf /tmp/$(LUC4C_RELEASE_NAME); mkdir /tmp/$(LUC4C_RELEASE_NAME)
......@@ -303,6 +310,7 @@ luc4c-rel:
mkdir /tmp/$(LUC4C_RELEASE_NAME)/bin
mkdir /tmp/$(LUC4C_RELEASE_NAME)/examples
mkdir /tmp/$(LUC4C_RELEASE_NAME)/doc
pushd /tmp/$(LUC4C_RELEASE_NAME) && ln -s . $(HOST_TYPE) && popd &&\
\
ranlib ../$(HOSTTYPE)/lib/*.a
cp ../README-luc4c /tmp/$(LUC4C_RELEASE_NAME)/
......@@ -341,7 +349,9 @@ cleanup:
cd .. ; rm -f *~ ; rm -f */*~; rm -f */*/*~; rm -f */*/*/*~; rm -f */*/*/*/*~
rel: lurette-rel lucky-rel draw-rel luc4ocaml-rel luc4c-rel
rel: lurette-rel lucky-rel draw-rel luc4ocaml-rel luc4c-rel rel_nodep
rel_nodep:
rm -rf /tmp/$(ALL_RELEASE_NAME)
mkdir /tmp/$(ALL_RELEASE_NAME)
cp -rf /tmp/$(LURETTE_RELEASE_NAME)/* /tmp/$(ALL_RELEASE_NAME)/
......@@ -349,6 +359,8 @@ rel: lurette-rel lucky-rel draw-rel luc4ocaml-rel luc4c-rel
cp -rf /tmp/$(LUC4OCAML_RELEASE_NAME)/* /tmp/$(ALL_RELEASE_NAME)/
cp -rf /tmp/$(DRAW_RELEASE_NAME)/* /tmp/$(ALL_RELEASE_NAME)/
\
pushd /tmp/$(ALL_RELEASE_NAME) && (ln -s . $(HOST_TYPE) || true) && popd &&\
\
cd /tmp && tar cvfz $(ALL_RELEASE_NAME).tgz $(ALL_RELEASE_NAME)
cp /tmp/$(ALL_RELEASE_NAME).tgz $(SYNCHRONE_DIR)/lurette/
cp $(LURETTE_PATH)/RELEASE-NOTES $(SYNCHRONE_DIR)/lurette
......@@ -356,14 +368,17 @@ rel: lurette-rel lucky-rel draw-rel luc4ocaml-rel luc4c-rel
test-rel:
cp $(SYNCHRONE_DIR)/lurette/$(ALL_RELEASE_NAME).tgz /tmp && \
cd /tmp && \
rm -rf $(ALL_RELEASE_NAME) && \
tar xvfz $(ALL_RELEASE_NAME).tgz && \
cd /tmp/$(ALL_RELEASE_NAME) && \
\
\
ranlib lib/*.a && \
./RUN_ME
cd /tmp/$(ALL_RELEASE_NAME)/examples/ && \
make test
# Update the web site woth the new tgz
# Update the web site with the new tgz
www:
cd ~/tools/html/ ; make go
cp ../RELEASE-NOTES $(SYNCHRONE_DIR)/lurette/
......
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