heptagon/test/scripts/config


checkdir=_check_builds

shopt -s nullglob

# script de test

COMPILER_DIR="../compiler"
if [ -x $COMPILER_DIR/heptc.native ];
then
    COMPILER=heptc.native
else
    if [ -x $COMPILER_DIR/heptc.byte ];
    then    
        COMPILER=heptc.byte
    else
        echo "Error: no compiler found."
        exit 2
    fi
fi

HEPTC="../$COMPILER_DIR/$COMPILER -stdlib ../../lib"
CC="gcc -std=c99 -I ../../../lib/c"
LD="gcc"
JAVAC="javac -classpath ../../../lib/java:."
JAVA="java -classpath ../../../lib/java:."
REAX="reax"
BZREAX="bzreax"
CTRL2EPT="../$COMPILER_DIR/ctrl2ept.byte"
NBSTEP=100

if [ ! -x $checkdir ];
then
    mkdir $checkdir
fi
Corrected ctest configuration file 2012-07-16 11:22:56 +02:00
			`checkdir=_check_builds`

			`shopt -s nullglob`

			`# script de test`

			`COMPILER_DIR="../compiler"`
			`if [ -x $COMPILER_DIR/heptc.native ];`
			`then`
			`COMPILER=heptc.native`
			`else`
Added test of options Added script test_option which: - compile and run without option - compile with option given as argument, run - diff on the two outputs, fails if different outputs config file checks for existence of compiler (fails if not exist) statics1.ept is a copy of statics.ept ; statics2.ept depends on statics1.ept instead of statics.ept (so as dependency order => lexical order on file names) 2012-07-19 15:23:40 +02:00			`if [ -x $COMPILER_DIR/heptc.byte ];`
			`then`
			`COMPILER=heptc.byte`
			`else`
			`echo "Error: no compiler found."`
			`exit 2`
			`fi`
Corrected ctest configuration file 2012-07-16 11:22:56 +02:00			`fi`

Config of test scripts Added option -stdlib towards source library 2012-07-16 16:16:59 +02:00			`HEPTC="../$COMPILER_DIR/$COMPILER -stdlib ../../lib"`
Corrected ctest configuration file 2012-07-16 11:22:56 +02:00			`CC="gcc -std=c99 -I ../../../lib/c"`
			`LD="gcc"`
Added test script for Java code generation compile_javac_run script: compiles heptagon program with Java target code, compile and run the produced Java code. 2012-09-28 13:01:09 +02:00			`JAVAC="javac -classpath ../../../lib/java:."`
			`JAVA="java -classpath ../../../lib/java:."`
Test script for controller synthesis Added compile_sdc_run script which runs bzreax (compiles and run controller synthesis tool reax) on heptagon programs. 2017-02-06 15:30:52 +01:00			`REAX="reax"`
			`BZREAX="bzreax"`
Compile/sdc/run test script 2017-02-06 18:02:05 +01:00			`CTRL2EPT="../$COMPILER_DIR/ctrl2ept.byte"`
Corrected ctest configuration file 2012-07-16 11:22:56 +02:00			`NBSTEP=100`
Correct test scripts config file Added "mkdir _check_builds" if it does not exist 2012-07-16 18:48:03 +02:00
			`if [ ! -x $checkdir ];`
			`then`
			`mkdir $checkdir`
			`fi`