diff options
Diffstat (limited to 'debian/patches/03_notruntests.patch')
| -rw-r--r-- | debian/patches/03_notruntests.patch | 58 |
1 files changed, 0 insertions, 58 deletions
diff --git a/debian/patches/03_notruntests.patch b/debian/patches/03_notruntests.patch deleted file mode 100644 index 3c677c23..00000000 --- a/debian/patches/03_notruntests.patch +++ /dev/null @@ -1,58 +0,0 @@ -From: Ruben Undheim <ruben.undheim@gmail.com> -Date: Sat, 14 May 2016 15:44:13 +0200 -Subject: Do not run the long test suite when building for debian. - -Forwarded: doesn't make sense upstream ---- - Makefile | 32 ++++++++++++++++---------------- - 1 file changed, 16 insertions(+), 16 deletions(-) - -diff --git a/Makefile b/Makefile -index f26a6e0..cbbd878 100644 ---- a/Makefile -+++ b/Makefile -@@ -412,21 +412,21 @@ else - SEEDOPT="" - endif - --test: $(TARGETS) $(EXTRA_TARGETS) -- +cd tests/simple && bash run-test.sh $(SEEDOPT) -- +cd tests/hana && bash run-test.sh $(SEEDOPT) -- +cd tests/asicworld && bash run-test.sh $(SEEDOPT) -- +cd tests/realmath && bash run-test.sh $(SEEDOPT) -- +cd tests/share && bash run-test.sh $(SEEDOPT) -- +cd tests/fsm && bash run-test.sh $(SEEDOPT) -- +cd tests/techmap && bash run-test.sh -- +cd tests/memories && bash run-test.sh $(SEEDOPT) -- +cd tests/bram && bash run-test.sh $(SEEDOPT) -- +cd tests/various && bash run-test.sh -- +cd tests/sat && bash run-test.sh -- @echo "" -- @echo " Passed \"make test\"." -- @echo "" -+#test: $(TARGETS) $(EXTRA_TARGETS) -+# +cd tests/simple && bash run-test.sh $(SEEDOPT) -+# +cd tests/hana && bash run-test.sh $(SEEDOPT) -+# +cd tests/asicworld && bash run-test.sh $(SEEDOPT) -+# +cd tests/realmath && bash run-test.sh $(SEEDOPT) -+# +cd tests/share && bash run-test.sh $(SEEDOPT) -+# +cd tests/fsm && bash run-test.sh $(SEEDOPT) -+# +cd tests/techmap && bash run-test.sh -+# +cd tests/memories && bash run-test.sh $(SEEDOPT) -+# +cd tests/bram && bash run-test.sh $(SEEDOPT) -+# +cd tests/various && bash run-test.sh -+# +cd tests/sat && bash run-test.sh -+# @echo "" -+# @echo " Passed \"make test\"." -+# @echo "" - - VALGRIND ?= valgrind --error-exitcode=1 --leak-check=full --show-reachable=yes --errors-for-leak-kinds=all - -@@ -559,6 +559,6 @@ echo-git-rev: - -include kernel/*.d - -include techlibs/*/*.d - --.PHONY: all top-all abc test install install-abc manual clean mrproper qtcreator -+.PHONY: all top-all abc install install-abc manual clean mrproper qtcreator - .PHONY: config-clean config-clang config-gcc config-gcc-4.8 config-gprof config-sudo - |