GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2025-01-07 08:19:12 +03:00
Code Issues Projects Releases Wiki Activity

tweak to Makefile for Windows dist

Browse Source
This commit is contained in:
Adam C. Foltzer 2015-03-04 14:53:59 -08:00
parent cadfaced80
commit 11405230aa
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
Makefile
View File

@ -44,6 +44,7 @@ ifneq (,$(findstring _NT,${UNAME}))
# goes under the share prefix # goes under the share prefix
PREFIX_DOC := /doc PREFIX_DOC := /doc
PKG_PREFIX := ${PKG}/${PREFIX} PKG_PREFIX := ${PKG}/${PREFIX}
ROOT_PATH := /cygdrive/c
else else
DIST := ${PKG}.tar.gz ${PKG}.zip DIST := ${PKG}.tar.gz ${PKG}.zip
EXE_EXT := EXE_EXT :=
@ -56,6 +57,7 @@ else
# goes under the share prefix # goes under the share prefix
PREFIX_DOC := /doc/cryptol PREFIX_DOC := /doc/cryptol
PKG_PREFIX := ${PKG}${PREFIX} PKG_PREFIX := ${PKG}${PREFIX}
ROOT_PATH := /
endif endif
CRYPTOL_EXE := ./dist/build/cryptol/cryptol${EXE_EXT} CRYPTOL_EXE := ./dist/build/cryptol/cryptol${EXE_EXT}
@ -119,7 +121,7 @@ else
# doesn't yet fully support relocatable packages. 2. We have to # doesn't yet fully support relocatable packages. 2. We have to
# provide *some* prefix here even if we're not using it, otherwise # provide *some* prefix here even if we're not using it, otherwise
# `cabal copy` will make a mess in the PKG directory. # `cabal copy` will make a mess in the PKG directory.
PREFIX_ARG := --prefix=$(call adjust-path,/) PREFIX_ARG := --prefix=$(call adjust-path,${ROOT_PATH})
DESTDIR_ARG := --destdir=${PKG} DESTDIR_ARG := --destdir=${PKG}
RELOCATABLE_ARG := RELOCATABLE_ARG :=
endif endif