GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-11-30 23:45:23 +03:00
Code Issues Projects Releases Wiki Activity

make package id configurable via env var

Browse Source
This commit is contained in:
Adam C. Foltzer 2014-04-23 18:04:15 -07:00
parent 288178dea2
commit af3e5ecb39
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
Makefile
View File

@ -21,7 +21,8 @@ LIGHT := ${WiX}/bin/light.exe
REV ?= $(shell git rev-parse --short=7 HEAD || echo "unknown")
VERSION := $(shell grep -i ^Version cryptol.cabal | awk '{ print $$2}')
PKG := cryptol-${VERSION}-${UNAME}-${ARCH}_${REV}
PKG_ID ?= ${VERSION}-${UNAME}-${ARCH}_${REV}
PKG := cryptol-${PKG_ID}
# Windows-specific stuff
ifneq (,$(findstring _NT,${UNAME}))