[yosys] 03/03: Refreshed patches for version 0.4.0

Ruben Undheim rubund-guest at moszumanska.debian.org
Sat Nov 8 21:49:04 UTC 2014


This is an automated email from the git hooks/post-receive script.

rubund-guest pushed a commit to branch master
in repository yosys.

commit ededa7b2612a9abc87c7d6b2b70723f24f41d8ca
Author: Ruben Undheim <ruben.undheim at gmail.com>
Date:   Sat Nov 8 22:48:01 2014 +0100

    Refreshed patches for version 0.4.0
---
 debian/patches/01_gitrevision.patch    | 10 ++++-----
 debian/patches/02_removeabc.patch      |  6 ++---
 debian/patches/03_notruntests.patch    | 41 +++-------------------------------
 debian/patches/04_installpath.patch    |  8 +++----
 debian/patches/06_cflags_ldflags.patch | 12 +++++-----
 5 files changed, 21 insertions(+), 56 deletions(-)

diff --git a/debian/patches/01_gitrevision.patch b/debian/patches/01_gitrevision.patch
index 75a7315..c4c4b10 100644
--- a/debian/patches/01_gitrevision.patch
+++ b/debian/patches/01_gitrevision.patch
@@ -7,14 +7,14 @@ Forwarded: doesn't make sense upstream
 Author: Ruben Undheim <ruben.undheim at gmail.com>
 Index: yosys/Makefile
 ===================================================================
---- yosys.orig/Makefile	2014-10-28 21:24:31.983412258 +0100
-+++ yosys/Makefile	2014-10-28 21:24:28.447412191 +0100
-@@ -48,7 +48,7 @@
+--- yosys.orig/Makefile	2014-11-08 22:44:31.830902630 +0100
++++ yosys/Makefile	2014-11-08 22:45:30.574902254 +0100
+@@ -47,7 +47,7 @@
  endif
  
- YOSYS_VER := 0.3.0+$(shell test -d .git && { git log --author=clifford at clifford.at --oneline ca125bf41.. | wc -l; })
+ YOSYS_VER := 0.4
 -GIT_REV := $(shell git rev-parse --short HEAD 2> /dev/null || echo UNKNOWN)
-+GIT_REV := f9c096e
++GIT_REV := d5aa0ee
  OBJS = kernel/version_$(GIT_REV).o
  
  # set 'ABCREV = default' to use abc/ as it is
diff --git a/debian/patches/02_removeabc.patch b/debian/patches/02_removeabc.patch
index f584877..9039a28 100644
--- a/debian/patches/02_removeabc.patch
+++ b/debian/patches/02_removeabc.patch
@@ -4,9 +4,9 @@ Forwarded: doesn't make sense upstream
 Author: Ruben Undheim <ruben.undheim at gmail.com>
 Index: yosys/Makefile
 ===================================================================
---- yosys.orig/Makefile	2014-10-28 21:25:22.411413201 +0100
-+++ yosys/Makefile	2014-10-28 21:27:48.631415935 +0100
-@@ -130,7 +130,7 @@
+--- yosys.orig/Makefile	2014-11-08 22:45:42.554902177 +0100
++++ yosys/Makefile	2014-11-08 22:45:42.550902177 +0100
+@@ -129,7 +129,7 @@
  
  ifeq ($(ENABLE_ABC),1)
  CXXFLAGS += -DYOSYS_ENABLE_ABC
diff --git a/debian/patches/03_notruntests.patch b/debian/patches/03_notruntests.patch
index c8fae39..a934827 100644
--- a/debian/patches/03_notruntests.patch
+++ b/debian/patches/03_notruntests.patch
@@ -4,44 +4,9 @@ Forwarded: doesn't make sense upstream
 Author: Ruben Undheim <ruben.undheim at gmail.com>
 Index: yosys/Makefile
 ===================================================================
---- yosys.orig/Makefile	2014-10-28 21:28:02.879416202 +0100
-+++ yosys/Makefile	2014-10-28 21:28:02.871416202 +0100
-@@ -252,20 +252,20 @@
- yosys-abc$(EXE): abc/abc-$(ABCREV)$(EXE)
- 	$(P) cp abc/abc-$(ABCREV)$(EXE) yosys-abc$(EXE)
- 
--test: $(TARGETS) $(EXTRA_TARGETS)
--	+cd tests/simple && bash run-test.sh
--	+cd tests/hana && bash run-test.sh
--	+cd tests/asicworld && bash run-test.sh
--	+cd tests/realmath && bash run-test.sh
--	+cd tests/share && bash run-test.sh
--	+cd tests/fsm && bash run-test.sh
--	+cd tests/techmap && bash run-test.sh
--	+cd tests/memories && bash run-test.sh
--	+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
-+#	+cd tests/hana && bash run-test.sh
-+#	+cd tests/asicworld && bash run-test.sh
-+#	+cd tests/realmath && bash run-test.sh
-+#	+cd tests/share && bash run-test.sh
-+#	+cd tests/fsm && bash run-test.sh
-+#	+cd tests/techmap && bash run-test.sh
-+#	+cd tests/memories && bash run-test.sh
-+#	+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
- 
-@@ -372,6 +372,6 @@
+--- yosys.orig/Makefile	2014-11-08 22:46:03.066902046 +0100
++++ yosys/Makefile	2014-11-08 22:46:26.454901896 +0100
+@@ -375,6 +375,6 @@
  -include kernel/*.d
  -include techlibs/*/*.d
  
diff --git a/debian/patches/04_installpath.patch b/debian/patches/04_installpath.patch
index 52ecd56..46e0cdc 100644
--- a/debian/patches/04_installpath.patch
+++ b/debian/patches/04_installpath.patch
@@ -4,9 +4,9 @@ Forwarded: doesn't make sense upstream
 Author: Ruben Undheim <ruben.undheim at gmail.com>
 Index: yosys/Makefile
 ===================================================================
---- yosys.orig/Makefile	2014-10-28 21:29:28.995417812 +0100
-+++ yosys/Makefile	2014-10-28 21:29:28.987417812 +0100
-@@ -15,7 +15,7 @@
+--- yosys.orig/Makefile	2014-11-08 22:46:32.514901858 +0100
++++ yosys/Makefile	2014-11-08 22:46:32.510901858 +0100
+@@ -16,7 +16,7 @@
  # other configuration flags
  ENABLE_GPROF := 0
  
@@ -15,7 +15,7 @@ Index: yosys/Makefile
  INSTALL_SUDO :=
  
  EXE =
-@@ -282,10 +282,10 @@
+@@ -285,10 +285,10 @@
  	@echo ""
  
  install: $(TARGETS) $(EXTRA_TARGETS)
diff --git a/debian/patches/06_cflags_ldflags.patch b/debian/patches/06_cflags_ldflags.patch
index b3829d2..774e38b 100644
--- a/debian/patches/06_cflags_ldflags.patch
+++ b/debian/patches/06_cflags_ldflags.patch
@@ -4,9 +4,9 @@ Forwarded: will do
 Author: Ruben Undheim <ruben.undheim at gmail.com>
 Index: yosys/Makefile
 ===================================================================
---- yosys.orig/Makefile	2014-10-28 21:32:11.583420853 +0100
-+++ yosys/Makefile	2014-10-28 21:34:03.899422954 +0100
-@@ -30,8 +30,8 @@
+--- yosys.orig/Makefile	2014-11-08 22:47:08.578901627 +0100
++++ yosys/Makefile	2014-11-08 22:47:08.574901627 +0100
+@@ -31,8 +31,8 @@
  
  all: top-all
  
@@ -15,9 +15,9 @@ Index: yosys/Makefile
 +CXXFLAGS += -Wall -Wextra -ggdb -I"$(shell pwd)" -MD -DYOSYS_SRC='"$(shell pwd)"' -D_YOSYS_ -fPIC -I${DESTDIR}/include
 +LDFLAGS += -L${DESTDIR}/lib
  LDLIBS = -lstdc++ -lm
- QMAKE = qmake-qt4
  SED = sed
-@@ -214,10 +214,10 @@
+ 
+@@ -217,10 +217,10 @@
  	$(P) $(CXX) -o yosys$(EXE) $(LDFLAGS) $(OBJS) $(LDLIBS)
  
  %.o: %.cc
@@ -30,7 +30,7 @@ Index: yosys/Makefile
  
  kernel/version_$(GIT_REV).cc: Makefile
  	$(P) rm -f kernel/version_*.o kernel/version_*.d kernel/version_*.cc
-@@ -225,8 +225,8 @@
+@@ -228,8 +228,8 @@
  			$(CXX) --version | tr ' ()' '\n' | grep '^[0-9]' | head -n1` $(filter -f% -m% -O% -DNDEBUG,$(CXXFLAGS)))\"; }" > kernel/version_$(GIT_REV).cc
  
  yosys-config: misc/yosys-config.in

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/yosys.git



More information about the debian-science-commits mailing list