diff options
author | qunyanm <unknown> | 2016-03-31 09:11:50 -0700 |
---|---|---|
committer | qunyanm <unknown> | 2016-03-31 09:11:50 -0700 |
commit | c3a9fed25227c42683f41154a6d6aa4db5204b55 (patch) | |
tree | b751a4768b56964306355be110d7e0c41b191943 /package.py | |
parent | 31ec9bc299901a1a85abbd091c3293af00354030 (diff) | |
parent | 87047cd015c07f5d98def6681a0187639ccc62b5 (diff) |
Merge
Diffstat (limited to 'package.py')
-rwxr-xr-x | package.py | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -34,8 +34,8 @@ Z3_PACKAGE_PREFIX = path.join("z3") ## What do we take from the z3 archive? (Glob syntax) Z3_INTERESTING_FILES = ["LICENSE.txt", "bin/*"] -## On unix system, which Dafny files should be marked as executable? (Glob syntax; Z3's permissions are preserved) -UNIX_EXECUTABLES = ["dafny"] +## On unix systems, which Dafny files should be marked as executable? (Glob syntax; Z3's permissions are preserved) +UNIX_EXECUTABLES = ["dafny", "dafny-server"] ## What do we take from Dafny's Binaries folder? DLLs = ["AbsInt", @@ -55,7 +55,7 @@ DLLs = ["AbsInt", "VCExpr", "VCGeneration"] EXEs = ["Dafny", "DafnyServer"] -ETCs = ["dafny", "DafnyPrelude.bpl", "DafnyRuntime.cs", "DafnyLanguageService.vsix"] +ETCs = UNIX_EXECUTABLES + ["DafnyPrelude.bpl", "DafnyRuntime.cs", "DafnyLanguageService.vsix"] # Constants |