Skip to content
Snippets Groups Projects
Commit f4ebc5b0 authored by Mirco Dotta's avatar Mirco Dotta
Browse files

Manually compile each source. This is tedious but I'm not really an expert of bash scripts ...

parent e95d03ea
Branches
Tags
No related merge requests found
...@@ -8,7 +8,7 @@ echo ...@@ -8,7 +8,7 @@ echo
echo echo
echo "********************************************************************************" echo "********************************************************************************"
echo "Clean, Compile and Build the distribution using ANT" echo "Compile and Build the distribution using ANT"
echo "********************************************************************************" echo "********************************************************************************"
echo echo
...@@ -56,14 +56,25 @@ echo "Compile tests that have declared forAll properties." ...@@ -56,14 +56,25 @@ echo "Compile tests that have declared forAll properties."
echo "********************************************************************************" echo "********************************************************************************"
echo echo
#This is needed for aliases to work correctly #This is needed for aliases to work correctly
shopt -s expand_aliases; shopt -s expand_aliases;
alias scalac=".././scalac-funcheck -cp ../bin:../lib/ScalaCheck-1.5.jar -d ../bin/tests"
cd tests
scalac plugin/BST.scala
scalac plugin/LeftistHeap.scala
cd ..
# Scala compiler with the Funcheck plugin integrated # Scala compiler with the Funcheck plugin integrated
alias scalac="./scalac-funcheck" #alias scalac="./scalac-funcheck"
# compile examples using the compiler with the Funcheck plugin # compile examples using the compiler with the Funcheck plugin
ant compile-funcheck-tests #ant compile-funcheck-tests
echo echo
...@@ -72,12 +83,15 @@ echo "Running tests with forAll properties." ...@@ -72,12 +83,15 @@ echo "Running tests with forAll properties."
echo "********************************************************************************" echo "********************************************************************************"
echo echo
alias scala="scala -cp bin/tests/:${SCALACHECK_JAR}" alias scala="scala -cp bin/:${SCALACHECK_JAR}:bin/tests/"
# examples # examples
export BST="funcheck.BST" export BST="plugin.BST"
export LeftistHeap="plugin.LeftistHeap"
echo " - Testing ${BST}" echo " - Testing ${BST}"
scala ${BST} scala ${BST}
echo " - Testing ${LeftistHeap}"
scala ${LeftistHeap}
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment