hets_script revision 908b9359fe93caa3522dc20a6ac1a410911412e9
abd8dd44106c507dd2cb64359b63d7d56fa0a9c8Christian Maeder# this script is part of Hets
97018cf5fa25b494adffd7e9b4e87320dae6bf47Christian Maeder# - Heterogenous Tool Set -
413db961f13e112716509b6d61d7a7bbf50c98b2Christian Maeder# Handling switches
d48085f765fca838c1d972d2123601997174583dChristian Maederimport fcntl, os, sys, subprocess;
23a00c966f2aa8da525d7a7c51933c99964426c0Christian Maedersubprocess.DEVNULL=os.open(os.devnull, os.O_RDWR)
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maedersubprocess.STDOUT=sys.stdout
8a6b503b50c0be589f12eb0d4ebeb4b4312fd491Christian Maedersubprocess.STDERR=sys.stderr
3c5cc698b0c061209ff83eb8de027daef5ae922aChristian Maederclass UpdateFailure(Exception):
3c5cc698b0c061209ff83eb8de027daef5ae922aChristian Maeder def __init__(self, msg):
3c5cc698b0c061209ff83eb8de027daef5ae922aChristian Maeder self.value = msg
3c5cc698b0c061209ff83eb8de027daef5ae922aChristian Maeder def __str__(self):
413db961f13e112716509b6d61d7a7bbf50c98b2Christian Maeder return repr(self.msg)
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder f = open("/var/lib/dpkg/lock", 'w')
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder fcntl.lockf(f, fcntl.LOCK_EX|fcntl.LOCK_NB)
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder print "Retrieving latest Hets OWL2Parser.jar...",
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder subprocess.call("rm -r -f /tmp/OWL2Parser.jar",shell=True,stderr=subprocess.DEVNULL)
8452387b4c54b8dd36c012b216e0b0c5004ca6f1Christian Maeder sys.stdout.flush()
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder subprocess.check_call("curl -sG http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/src-distribution/OWL2Parser.jar \
ce3928e71520030ad0275b72050a8f4377f9313cChristian Maeder > /tmp/OWL2Parser.jar",shell=True,stdout=sys.stdout,stderr=sys.stderr)
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder except subprocess.CalledProcessError:
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder raise UpdateFailure("Failed to retrieve Hets OWL2Parser.jar!")
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder print "Retrieving latest Hets library...",
eab576044505ba1fbc64610323053490fbd9e82cChristian Maeder sys.stdout.flush()
413db961f13e112716509b6d61d7a7bbf50c98b2Christian Maeder subprocess.call("rm -r -f /tmp/hets*",shell=True,stderr=subprocess.DEVNULL)
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder subprocess.check_call(["svn","export", "--force", "-q",
eab576044505ba1fbc64610323053490fbd9e82cChristian Maeder "https://svn-agbkb.informatik.uni-bremen.de/Hets-lib/trunk","/tmp/hets-lib"],
eab576044505ba1fbc64610323053490fbd9e82cChristian Maeder stdout=subprocess.STDOUT,stderr=subprocess.STDERR)
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder except subprocess.CalledProcessError:
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder raise UpdateFailure("Failed to retrieve latest Hets library!")
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder print "Retrieving latest Hets binary...",
a59f2017dfc311ece7afcea3e8a3ceceac77ba5aChristian Maeder sys.stdout.flush()
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder subprocess.call(["rm", "-f", "/tmp/hets-$HETS_DAILY_VERSION*"],stderr=subprocess.DEVNULL)
ce3928e71520030ad0275b72050a8f4377f9313cChristian Maeder if os.uname()[4] == "x86_64":
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder subprocess.check_call("curl -sG http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/linux64/daily/hets.bz2 \
d703a61b7fa9f85d92ac8f768d7c290b7c0a41c5Christian Maeder > /tmp/hets-$HETS_DAILY_VERSION.bz2",shell=True,stdout=sys.stdout,stderr=sys.stderr)
c4e912fc181d72c8d0e0e38d0351278182f0d0b5Christian Maeder subprocess.check_call("curl -sG http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/linux/daily/hets.bz2 \
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder > /tmp/hets-$HETS_DAILY_VERSION.bz2",shell=True,stdout=sys.stdout,stderr=sys.stderr)
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder except subprocess.CalledProcessError:
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder raise UpdateFailure("Failed to retrieve latest Hets binary...")
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder subprocess.check_call(["bunzip2", "/tmp/hets-$HETS_DAILY_VERSION.bz2"],
d703a61b7fa9f85d92ac8f768d7c290b7c0a41c5Christian Maeder stdout=subprocess.STDOUT,stderr=subprocess.STDERR)
92aa1b88f02d2a413da60dba78acd34312e6f29aChristian Maeder subprocess.call(["chmod","+x","/tmp/hets-$HETS_DAILY_VERSION"])
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder subprocess.check_call(["/tmp/hets-$HETS_DAILY_VERSION","-V"],stdout=subprocess.DEVNULL,stderr=subprocess.DEVNULL)
d92635f998347112e5d5803301c2abfe7832ab65Christian Maeder except subprocess.CalledProcessError:
36c6cc568751e4235502cfee00ba7b597dae78dcChristian Maeder raise UpdateFailure("Retrieved Hets binary seems broken. Please try again later!")
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder print "Creating Backups ...",
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder sys.stdout.flush()
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder subprocess.check_call(["mv", "/usr/lib/hets/hets-owl-tools/OWL2Parser.jar",
413db961f13e112716509b6d61d7a7bbf50c98b2Christian Maeder "/usr/lib/hets/hets-owl-tools/OWL2Parser.jar.bak"],stderr=subprocess.DEVNULL)
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder subprocess.check_call(["mv", "/usr/lib/hets/hets",
36c6cc568751e4235502cfee00ba7b597dae78dcChristian Maeder "/usr/lib/hets/hets.bak"],stderr=subprocess.DEVNULL)
024621f43239cfe9629e35d35a8669fad7acbba2Christian Maeder subprocess.check_call(["mv","/usr/lib/hets/hets-lib",
d48085f765fca838c1d972d2123601997174583dChristian Maeder "/usr/lib/hets/hets-lib.bak"],stderr=subprocess.DEVNULL)
d48085f765fca838c1d972d2123601997174583dChristian Maeder except subprocess.CalledProcessError:
68485f7bfab1b4c6f963ce6837cba5fb148ed625Christian Maeder raise UpdateFailure("Couldn't create backups. Please make sure the package hets-core is properly installed!")
d48085f765fca838c1d972d2123601997174583dChristian Maeder print "Installing new files ...",
a59f2017dfc311ece7afcea3e8a3ceceac77ba5aChristian Maeder sys.stdout.flush()
8452387b4c54b8dd36c012b216e0b0c5004ca6f1Christian Maeder subprocess.check_call(["install", "-m", "755", "/tmp/hets-$HETS_DAILY_VERSION",
a59f2017dfc311ece7afcea3e8a3ceceac77ba5aChristian Maeder "/usr/lib/hets/hets"],stderr=subprocess.DEVNULL)
a59f2017dfc311ece7afcea3e8a3ceceac77ba5aChristian Maeder subprocess.check_call(["cp", "-r", "/tmp/hets-lib", "/usr/lib/hets/hets-lib"])
a59f2017dfc311ece7afcea3e8a3ceceac77ba5aChristian Maeder subprocess.check_call(["install", "-m", "644", "/tmp/OWL2Parser.jar",
a59f2017dfc311ece7afcea3e8a3ceceac77ba5aChristian Maeder "/usr/lib/hets/hets-owl-tools"],stderr=subprocess.DEVNULL)
8452387b4c54b8dd36c012b216e0b0c5004ca6f1Christian Maeder except subprocess.CalledProcessError:
a59f2017dfc311ece7afcea3e8a3ceceac77ba5aChristian Maeder subprocess.call(["rm", "-r", "-f", "/usr/lib/hets/hets-owl-tools/OWL2Parser.jar",
a59f2017dfc311ece7afcea3e8a3ceceac77ba5aChristian Maeder "/usr/lib/hets/hets", "/usr/lib/hets/hets-lib"],stderr=subprocess.DEVNULL)
68485f7bfab1b4c6f963ce6837cba5fb148ed625Christian Maederexcept IOError:
413db961f13e112716509b6d61d7a7bbf50c98b2Christian Maeder print "Could not acquire lock \"/var/lib/dpkg/lock\""
413db961f13e112716509b6d61d7a7bbf50c98b2Christian Maederexcept UpdateFailure as e:
d48085f765fca838c1d972d2123601997174583dChristian Maeder print "Experienced update failure: ", e.value
2986838ec286d67e7c199e7ea81e7364ca36ad25Christian Maeder subprocess.call(["mv", "/usr/lib/hets/hets-owl-tools/OWL2Parser.jar.bak",
ae8052003e1ec7247597f034069db0939a7387e1Christian Maeder "/usr/lib/hets/hets-owl-tools/OWL2Parser.jar"],stderr=subprocess.DEVNULL)
68485f7bfab1b4c6f963ce6837cba5fb148ed625Christian Maeder subprocess.call(["mv", "/usr/lib/hets/hets.bak",
f875f7eebac7f69bf9da98c93479a542d0a8056fChristian Maeder "/usr/lib/hets/hets"],stderr=subprocess.DEVNULL)
68485f7bfab1b4c6f963ce6837cba5fb148ed625Christian Maeder subprocess.call(["mv","/usr/lib/hets/hets-lib.bak",
68485f7bfab1b4c6f963ce6837cba5fb148ed625Christian Maeder "/usr/lib/hets/hets-lib"],stderr=subprocess.DEVNULL)
413db961f13e112716509b6d61d7a7bbf50c98b2Christian Maeder if not os.path.exists("/usr/lib/hets/hets-lib"):
68485f7bfab1b4c6f963ce6837cba5fb148ed625Christian Maeder subprocess.call(["mv","/usr/lib/hets/hets-lib.bak","/usr/lib/hets/hets-lib"],stderr=subprocess.DEVNULL)
68485f7bfab1b4c6f963ce6837cba5fb148ed625Christian Maeder if not os.path.exists("/usr/lib/hets/hets"):
68485f7bfab1b4c6f963ce6837cba5fb148ed625Christian Maeder subprocess.call(["mv","/usr/lib/hets/hets.bak","/usr/lib/hets/hets"],stderr=subprocess.DEVNULL)
d48085f765fca838c1d972d2123601997174583dChristian Maeder if not os.path.exists("/usr/lib/hets/hets-owl-tools/OWL2Parser.jar"):
413db961f13e112716509b6d61d7a7bbf50c98b2Christian Maeder subprocess.call(["mv","/usr/lib/hets/hets-owl-tools/OWL2Parser.jar.bak",
413db961f13e112716509b6d61d7a7bbf50c98b2Christian Maeder "/usr/lib/hets/hets-owl-tools/OWL2Parser.jar"],stderr=subprocess.DEVNULL)
413db961f13e112716509b6d61d7a7bbf50c98b2Christian Maeder subprocess.call("rm -r -f /tmp/hets*",shell=True,stderr=subprocess.DEVNULL)
68485f7bfab1b4c6f963ce6837cba5fb148ed625Christian Maeder subprocess.call("rm -r -f /tmp/OWL2Parser.jar",shell=True,stderr=subprocess.DEVNULL)
413db961f13e112716509b6d61d7a7bbf50c98b2Christian Maeder echo "Root access required for \"hets -update\""
d48085f765fca838c1d972d2123601997174583dChristian Maederimport fcntl, os, sys, subprocess;
68485f7bfab1b4c6f963ce6837cba5fb148ed625Christian Maedersubprocess.DEVNULL=os.open(os.devnull, os.O_RDWR)
d48085f765fca838c1d972d2123601997174583dChristian Maedersubprocess.STDOUT=sys.stdout
68485f7bfab1b4c6f963ce6837cba5fb148ed625Christian Maedersubprocess.STDERR=sys.stderr
68485f7bfab1b4c6f963ce6837cba5fb148ed625Christian Maederclass UpdateFailure(Exception):
68485f7bfab1b4c6f963ce6837cba5fb148ed625Christian Maeder def __init__(self, msg):
d48085f765fca838c1d972d2123601997174583dChristian Maeder self.value = msg
d48085f765fca838c1d972d2123601997174583dChristian Maeder def __str__(self):
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder return repr(self.msg)
68485f7bfab1b4c6f963ce6837cba5fb148ed625Christian Maeder f = open("/var/lib/dpkg/lock", 'w')
68485f7bfab1b4c6f963ce6837cba5fb148ed625Christian Maeder fcntl.lockf(f, fcntl.LOCK_EX|fcntl.LOCK_NB)
eab576044505ba1fbc64610323053490fbd9e82cChristian Maeder print "Reverting to previous Hets binary... ",
ae8052003e1ec7247597f034069db0939a7387e1Christian Maeder subprocess.check_call(["mv", "/usr/lib/hets/hets-owl-tools/OWL2Parser.jar.bak",
eab576044505ba1fbc64610323053490fbd9e82cChristian Maeder "/usr/lib/hets/hets-owl-tools/OWL2Parser.jar"],stderr=subprocess.DEVNULL);
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder subprocess.check_call(["mv", "/usr/lib/hets/hets.bak",
d48085f765fca838c1d972d2123601997174583dChristian Maeder "/usr/lib/hets/hets"],stderr=subprocess.DEVNULL);
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder if os.path.exists("/usr/lib/hets/hets-lib.bak"):
68485f7bfab1b4c6f963ce6837cba5fb148ed625Christian Maeder subprocess.check_call(["rm", "-r", "-f", "/usr/lib/hets/hets-lib"],
d703a61b7fa9f85d92ac8f768d7c290b7c0a41c5Christian Maeder stderr=subprocess.DEVNULL)
413db961f13e112716509b6d61d7a7bbf50c98b2Christian Maeder subprocess.check_call(["mv", "/usr/lib/hets/hets-lib.bak",
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder "/usr/lib/hets/hets-lib"],stderr=subprocess.DEVNULL)
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder except subprocess.CalledProcessError:
413db961f13e112716509b6d61d7a7bbf50c98b2Christian Maeder raise UpdateFailure("Couldn't restore backup!")
48c4688439e0aade4faeebf25ca8b16d661e47afChristian Maederexcept IOError:
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder print "Could not acquire lock \"/var/lib/dpkg/lock\""
37354e3ed68875fb527338105a610df481f98cb0Christian Maederexcept UpdateFailure as e:
413db961f13e112716509b6d61d7a7bbf50c98b2Christian Maeder print "Experienced revert failure: ", e.value
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder echo "No hets.bak found to revert."
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder echo "Root access required for \"hets -revert\""
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder# Setting environment variables
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder# and starting Hets
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederexport HETS_OWL_TOOLS=/usr/lib/hets/hets-owl-tools
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederexport HETS_ISABELLE_LIB=/usr/lib/hets/hets-lib/Isabelle
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederexport HETS_ISA_TOOLS=/usr/lib/hets/hets-isa-tools
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederexport HETS_APROVE=$HETS_OWL_TOOLS/AProVE.jar
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederexport HETS_ONTODMU=$HETS_OWL_TOOLS/OntoDMU.jar
f875f7eebac7f69bf9da98c93479a542d0a8056fChristian Maederexport HETS_MAUDE_LIB=/usr/lib/hets/hets-maude-lib
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederexport HETS_HOLLIGHT_TOOLS=/usr/lib/hets/hets-hollight-tools