autocorres/tools/release.py

90     dir_src = os.path.join(args.repository, manifest_base)
126 args = parser.parse_args()
128 args.archs = args.archs.split(',')
131 if args.output is None:
132     args.output = "autocorres-%s.tar.gz" % args.version
135 if args.repository is None:
137         args.repository = subprocess.check_output([
143 args.repository = os.path.abspath(args.repository)
144 if not args.dry_run:
145     args.output = os.path.abspath(args.output)
147     args.output = None
148 release_files_dir = os.path.join(args.repository, "tools", "autocorres", "tools", "release_files")
151 if not os.path.exists(args.cparser_tar) or not args.cparser_tar.endswith(".tar.gz"):
153 args.cparser_tar = os.path.abspath(args.cparser_tar)
156 if not os.path.exists(args.isabelle_tar) or not args.isabelle_tar.endswith(".tar.gz"):
158 args.isabelle_tar = os.path.abspath(args.isabelle_tar)
161 thydeps_tool = os.path.join(args.repository, 'misc', 'scripts', 'thydeps')
162 repo_isabelle_dir = os.path.join(args.repository, 'isabelle')
168 with TempDir(cleanup=(not args.no_cleanup)) as base_dir:
170     target_dir_name = "autocorres-%s" % args.version
178                              os.path.join(args.repository, "tools", "autocorres"), "autocorres")
182     for arch in args.archs:
187             cwd=args.repository, env=dict(os.environ, L4V_ARCH=arch))
191         f_src = os.path.join(args.repository, 'lib', f)
192         f_dest = os.path.join(target_dir, 'lib', os.path.relpath(f, args.repository))
198             os.path.join(args.repository, 'lib', 'Word_Lib', 'ROOT'),
216             os.path.join(args.repository, "LICENSE_BSD2.txt"),
219             os.path.join(args.repository, "LICENSE_GPLv2.txt"),
228         cwd=os.path.join(args.repository, 'tools', 'autocorres'))
231     lib_ROOT = os.path.join(args.repository, 'lib', 'ROOT')
279         os.path.join(args.repository, "misc", "scripts", "gen_isabelle_root.py"),
302         subprocess.check_call(["tar", "-xz", "-C", c_parser_working_dir, "--strip-components=1", "-f", args.cparser_tar])
315         for arch in args.archs:
321         needed_files = [os.path.join(args.repository, f)
352     subprocess.check_call(["tar", "-xz", "-C", base_isabelle_dir, "--strip-components=1", "-f", args.isabelle_tar])
369                 if args.browse:
380     if args.output != None:
384             "-C", base_dir, "-f", args.output, target_dir_name])
387     if args.test:
391             for arch in args.archs:
397             if args.browse:
401     if args.browse: