def fix_makefiles (src_glob_raw, link_command):
for orig in glob.iglob(os.path.expandvars (src_glob_raw)):
SystemLogger.info ("Fixing makefile: " + orig)
fixed = orig + ".tmp"
with open (fixed, 'w') as fixed_file:
with open (orig) as orig_file:
for line in orig_file:
fixed_file.write (line.replace ('LINKCMD = $(CC)', 'LINKCMD = ' + link_command))
elocation.delete (orig)
elocation.move (fixed, orig)
def test_location():
elocation.move ("eve", "eve2")
elocation.copy ("eve2", "eve3")
elocation.delete ("eve3")
elocation.move ("eve2", "eve")
print (elocation.base_directory())
print (elocation.trunk_source())
print (elocation.eve_source())
print (elocation.eweasel())
print (elocation.nightly())
print (elocation.build())
print (elocation.eweasel_build())
def update_EiffelStudio():
SystemLogger.info("Updating EiffelStudio")
if v_force_es_version != None:
SystemLogger.warning("Forcing EiffelStudio version " + v_force_es_version)
name, filename, version, url = get_nightly_build(d_ise_platform, d_archive_extension)
current_version, current_path = get_installed_version()
if version > current_version or (v_force_es_version != None and current_version != v_force_es_version):
target_file = os.path.join(v_dir_eiffelstudio_base, filename)
download_file(url, target_file)
eutils.extract(target_file)
elocation.move(os.path.join('.', name), os.path.join(v_dir_eiffelstudio_base, name + '_' + str(version)))
elocation.delete(target_file)
update_environment_variables()
current_version = version
SystemLogger.success("EiffelStudio version " + str(version) + " installed")
else:
update_environment_variables()
SystemLogger.success("EiffelStudio is up-to-date at version " + str(current_version))
return current_version
def make_delivery():
SystemLogger.info("Generating new delivery")
eve_version = esvn.info_local_revision_number(v_dir_eve_source) #TODO
delivery_name = 'eve_' + str(eve_version)
delivery_path = os.path.realpath(os.path.join(v_dir_delivery, delivery_name))
# generate finalized version
check_environment_variables()
compile_runtime()
update_version_number()
finalize_eve('bench')
revert_version_number()
# copy EiffelStudio to delivery destination (this copies the runtime)
elocation.copy(os.getenv("ISE_EIFFEL"), delivery_path)
# copy finalized eve to delivery destination
eve_exe_source = os.path.join(v_dir_eve_source, 'Eiffel', 'Ace', 'EIFGENs', 'bench', 'F_code', d_eve_exe_name)
eve_exe_target = os.path.join(delivery_path, 'studio', 'spec', os.getenv("ISE_PLATFORM"), 'bin', d_eve_exe_name)
elocation.copy(eve_exe_source, eve_exe_target)
# AutoProof: copy update to base library
source = os.path.join(v_dir_eve_source, 'library', 'base', 'eve')
target = os.path.join(delivery_path, 'library', 'base', 'eve')
elocation.copy(source, target)
source = os.path.join(v_dir_eve_source, 'library', 'base', 'base2')
target = os.path.join(delivery_path, 'library', 'base', 'base2')
elocation.copy(source, target)
source = os.path.join(v_dir_eve_source, 'library', 'base', 'mml')
target = os.path.join(delivery_path, 'library', 'base', 'mml')
elocation.copy(source, target)
source = os.path.join(v_dir_eve_source, 'library', 'base', 'base-eve.ecf')
target = os.path.join(delivery_path, 'library', 'base', 'base-eve.ecf')
elocation.copy(source, target)
# AutoProof: copy ecf for precompile
source = os.path.join(v_dir_eve_source, 'Delivery', 'precomp', 'spec', 'platform', 'base-eve.ecf')
target = os.path.join(delivery_path, 'precomp', 'spec', os.getenv("ISE_PLATFORM"), 'base-eve.ecf')
elocation.copy(source, target)
# AutoProof: copy Boogie files
source = os.path.join(v_dir_eve_source, 'Delivery', 'studio', 'tools', 'autoproof')
target = os.path.join(delivery_path, 'studio', 'tools', 'autoproof')
elocation.copy(source, target)
# copy Boogie to delivery destination
boogie_target = os.path.join(delivery_path, 'studio', 'tools', 'boogie')
elocation.copy(v_dir_boogie, boogie_target)
# copy libraries to delivery destination
source = os.path.join(v_dir_eve_source, 'library', 'fixing')
target = os.path.join(delivery_path, 'library', 'fixing')
elocation.copy(source, target)
# TODO
# copy install/run scripts to destination
source = os.path.join(v_dir_eve_source, 'Delivery', 'run_eve.bat')
target = os.path.join(delivery_path, 'run_eve.bat')
elocation.copy(source, target)
source = os.path.join(v_dir_eve_source, 'Delivery', 'run_eve.py')
target = os.path.join(delivery_path, 'run_eve.py')
elocation.copy(source, target)
# generate zip archive
archive_path = eutils.compress(delivery_path, delivery_name + "-" + d_ise_platform)
delivery_file = os.path.join(v_dir_delivery, os.path.basename(archive_path))
elocation.move(archive_path, delivery_file)
# clean up
elocation.delete(delivery_path)
SystemLogger.success("Delivery " + delivery_name + " finished")
# upload zip to server
result = None
if os.path.exists(v_dir_delivery_remote):
remote_file = os.path.join(v_dir_delivery_remote, os.path.basename(delivery_file))
elocation.copy(delivery_file, remote_file)
SystemLogger.success("Delivery copied to remote location")
result = v_remote_base_url + '/' + os.path.basename(delivery_file)
else:
if v_dir_delivery_remote != None:
SystemLogger.error("Remote location (" + v_dir_delivery_remote + ") does not exist")
return result