--- imach/src/Makefile 2015/09/09 16:54:10 1.68 +++ imach/src/Makefile 2015/09/15 17:32:44 1.69 @@ -1,5 +1,5 @@ #Version has to be set in ../CMakeLists.txt too. -VERSION=0.98q6 +VERSION=0.98r0 # DRIVEG is for VirtualBox Windows 64bit DRIVEG=g: #DIRG is the corresponding build directory for Virtual Windows @@ -51,7 +51,7 @@ IMACHSETUPVERSION=icl #TESTFILE=$(HOME)/Documents/Recherches/REVES/Biaspar/biaspar-wopowell.imach #TESTFILE=$(HOME)/Documents/Recherches/REVES/Biaspar/rbiaspar-098p.imach #TESTFILE=$(HOME)/Documents/Recherches/REVES/Aaron/brouard/results/COVARAITE_94/rmypar24pis1cov1-age.imach -TESTFILE=$(HOME)/Documents/Recherches/REVES/Flavia/ADL0w_V2c.imach +TESTFILE=$(HOME)/Documents/Recherches/REVES/Flavia/rADL0w_V1V2b.imach #TESTFILE=$(HOME)/Documents/Recherches/REVES/SAITO/Tokyo2014/adlc-test-mac/adecode-1.142c.imach #TESTFILE=$(HOME)/Documents/Recherches/REVES/SAITO/Tokyo2014/adlc_test_magei4/radlc_often.imach #CC= gcc -v