From 3b1c3923a403efbd28b8f5ae6fc4429ccee8c2e8 Mon Sep 17 00:00:00 2001 From: Clément Pit--Claudel Date: Fri, 28 Aug 2015 20:08:14 -0700 Subject: Put contents od release packages into a dafny/ directory --- package.py | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'package.py') 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)) -- cgit v1.2.3