diff options
Diffstat (limited to 'test/spass/Makefile.bak')
-rw-r--r-- | test/spass/Makefile.bak | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/test/spass/Makefile.bak b/test/spass/Makefile.bak deleted file mode 100644 index 320f6221..00000000 --- a/test/spass/Makefile.bak +++ /dev/null @@ -1,13 +0,0 @@ -LEVEL = ../../.. -PROG = SPASS - -CPPFLAGS = -DCLOCK_NO_TIMING -fno-strict-aliasing -w -LDFLAGS = -lm - -ifdef SMALL_PROBLEM_SIZE -RUN_OPTIONS="$(PROJ_SRC_DIR)/small_problem.dfg" -else -RUN_OPTIONS="$(PROJ_SRC_DIR)/problem.dfg" -endif - -include ../../Makefile.multisrc |