mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-08-16 17:30:27 +03:00
parent
321a9e6f6e
commit
1b1cdebdd3
4
Makefile
4
Makefile
@ -19,8 +19,8 @@ CS_BIN := $(CS)/bin
|
||||
|
||||
# Used only for windows, to find the right Program Files.
|
||||
PROGRAM_FILES = Program\ Files\ \(x86\)
|
||||
# Windows installer tools; assumes running on Cygwin and using WiX 3.8
|
||||
WiX := /cygdrive/c/${PROGRAM_FILES}/WiX\ Toolset\ v3.8
|
||||
# Windows installer tools; assumes running on Cygwin and using WiX 3.10
|
||||
WiX := /cygdrive/c/${PROGRAM_FILES}/WiX\ Toolset\ v3.10
|
||||
CANDLE := ${WiX}/bin/candle.exe
|
||||
HEAT := ${WiX}/bin/heat.exe
|
||||
LIGHT := ${WiX}/bin/light.exe
|
||||
|
@ -22,7 +22,7 @@
|
||||
<Directory Id='ProgramFilesFolder' Name='PFiles'>
|
||||
<Directory Id='Galois' Name='Galois'>
|
||||
<Directory Id='INSTALLDIR' Name='Cryptol $(var.version)'>
|
||||
</Directory>
|
||||
</Directory>
|
||||
</Directory>
|
||||
</Directory>
|
||||
|
||||
@ -52,12 +52,18 @@
|
||||
</Component>
|
||||
</Directory>
|
||||
</Directory>
|
||||
|
||||
</Directory>
|
||||
|
||||
<DirectoryRef Id="TARGETDIR">
|
||||
<Component Id="Path" Guid="4D7F78E6-DA16-4C1B-96C4-B33C87502C81">
|
||||
<Environment Id="PATH" Name="PATH" Value="[INSTALLDIR]\bin" Permanent="no" Part="last" Action="set" System="no" />
|
||||
</Component>
|
||||
</DirectoryRef>
|
||||
|
||||
<Feature Id='Complete' Level='1'>
|
||||
<ComponentGroupRef Id='ALLFILES' />
|
||||
<ComponentRef Id='Shortcuts' />
|
||||
<ComponentRef Id='Path' />
|
||||
</Feature>
|
||||
|
||||
<Icon Id="crypto.ico" SourceFile="win32/crypto.ico" />
|
||||
|
Loading…
Reference in New Issue
Block a user