diff options
Diffstat (limited to 'debian/patches/01_gitrevision.patch')
| -rw-r--r-- | debian/patches/01_gitrevision.patch | 14 |
1 files changed, 8 insertions, 6 deletions
diff --git a/debian/patches/01_gitrevision.patch b/debian/patches/01_gitrevision.patch index 8e3b5352..fd31dbbf 100644 --- a/debian/patches/01_gitrevision.patch +++ b/debian/patches/01_gitrevision.patch @@ -7,19 +7,21 @@ Subject: Compilation from the upstream code depends on being in the git Forwarded: doesn't make sense upstream --- - Makefile | 2 +- - 1 file changed, 1 insertion(+), 1 deletion(-) + Makefile | 4 ++-- + 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile -index d759b11..c92c808 100644 +index 8586e97..ea66859 100644 --- a/Makefile +++ b/Makefile -@@ -100,7 +100,7 @@ LDLIBS += -lrt +@@ -101,8 +101,8 @@ LDFLAGS += -rdynamic + LDLIBS += -lrt endif - YOSYS_VER := 0.8 +-YOSYS_VER := 0.8+$(shell cd $(YOSYS_SRC) && test -e .git && { git log --author=clifford@clifford.at --oneline 4d4665b.. 2> /dev/null | wc -l; }) -GIT_REV := $(shell cd $(YOSYS_SRC) && git rev-parse --short HEAD 2> /dev/null || echo UNKNOWN) -+GIT_REV := 5706e90 ++YOSYS_VER := 0.8+20190328git32bd0f2 ++GIT_REV := 32bd0f2 OBJS = kernel/version_$(GIT_REV).o # set 'ABCREV = default' to use abc/ as it is |