summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Clément Pit--Claudel <clement.pitclaudel@live.com>2015-08-28 20:08:14 -0700
committerGravatar Clément Pit--Claudel <clement.pitclaudel@live.com>2015-08-28 20:08:14 -0700
commit3b1c3923a403efbd28b8f5ae6fc4429ccee8c2e8 (patch)
treeaf729cc4f98c4aa032789e8e4510e53f5b1af879
parent71bcbeb4ce808f463d86b7a877e3e550e839fb17 (diff)
Put contents od release packages into a dafny/ directory
-rw-r--r--package.py6
1 files changed, 4 insertions, 2 deletions
diff --git a/package.py b/package.py
index fa111ec5..33e83d73 100644
--- a/package.py
+++ b/package.py
@@ -24,6 +24,8 @@ BINARIES_DIRECTORY = "Binaries"
## Where do we store the built packages and cache files?
DESTINATION_DIRECTORY = "Package"
+## What's the root folder of the archive?
+DAFNY_PACKAGE_PREFIX = path.join("dafny")
## What sub-folder of the packages does z3 go into?
Z3_PACKAGE_PREFIX = path.join("z3")
@@ -124,7 +126,7 @@ class Release:
if any(fnmatch(fname, pattern) for pattern in Z3_INTERESTING_FILES):
z3_files_count += 1
contents = Z3_archive.read(fileinfo)
- fileinfo.filename = path.join(Z3_PACKAGE_PREFIX, fname)
+ fileinfo.filename = path.join(DAFNY_PACKAGE_PREFIX, Z3_PACKAGE_PREFIX, fname)
archive.writestr(fileinfo, contents)
for fname in ARCHIVE_FNAMES:
fpath = path.join(BINARIES_DIRECTORY, fname)
@@ -133,7 +135,7 @@ class Release:
if any(fnmatch(fname, pattern) for pattern in UNIX_EXECUTABLES):
# http://stackoverflow.com/questions/434641/
fileinfo.external_attr = 0o777 << 16
- archive.write(fpath, fname)
+ archive.write(fpath, path.join(DAFNY_PACKAGE_PREFIX, fname))
else:
missing.append(fname)
flush("done! (imported {} files from z3's sources)".format(z3_files_count))