diff options
author | Ruben Undheim <ruben.undheim@gmail.com> | 2016-09-19 08:03:15 +0200 |
---|---|---|
committer | Ruben Undheim <ruben.undheim@gmail.com> | 2018-12-20 11:28:31 +0100 |
commit | 28003f847fffcfa7ebbf72e98c3001e417b3c0c4 (patch) | |
tree | e6da22fcfe8d852063cc9ea45d23a7ce06208964 | |
parent | 234f053b927a463103e60a3c384a3073694f48b8 (diff) |
Set VER and GIT_REV explicitly so that the build does not need to be done in a git repository.
Gbp-Pq: Name 05_prevent_dependency_on_git.patch
-rw-r--r-- | Makefile | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -45,8 +45,9 @@ endif .PHONY: all all: bin/arachne-pnr$(EXE) share/arachne-pnr/chipdb-384.bin share/arachne-pnr/chipdb-1k.bin share/arachne-pnr/chipdb-8k.bin share/arachne-pnr/chipdb-5k.bin share/arachne-pnr/chipdb-lm4k.bin -ARACHNE_VER = 0.1+$(shell test -e .git && echo `git log --oneline | wc -l`+`git diff --name-only HEAD | wc -l`) -GIT_REV = $(shell git rev-parse --verify --short HEAD 2>/dev/null || echo UNKNOWN) +ARACHNE_VER = 0.1+20180909git840bdfd +GIT_REV = 840bdfd + VER_HASH = $(shell echo "$(ARACHNE_VER) $(GIT_REV)" | sum | cut -d ' ' -f -1) |