diff --git a/INSTALL.md b/INSTALL.md new file mode 100644 index 0000000..992cda0 --- /dev/null +++ b/INSTALL.md @@ -0,0 +1,26 @@ +# Installation of Contract Annex support for OSATE + +The contract annex support for OSATE consists of the contract annex plug-ins together with a separate installation +of Python and the Z3 library for Python. + +The contract annex OSATE plug-ins can be installed from within OSATE as an additional component via +_Help_ > _Install Additional OSATE Components_ . This brings up a dialog with a list of available components. +Select "Contract Annex" from the list of SEI Components and click _Finish_ . After installation of the pug-ins OSATE must be +re-started. + +A Python interpreter must be installed separately for the underlying operating system. A Python installer can be downloaded +from https://www.python.org/downloads/. The following assumes a Windows 10/11 operating system that is not locked down by +an organization specific policy. + +Run the installer by double clicking on the downloaded program. In the installer check the option "Add Python 3.x to PATH." +In addition the option to install the py launcher should be checked. After installation start a command window +(cmd.exe or powershell) and run the command `py`. This should start the Python interpreter and print a welcome message. +Type exit() or Ctrl-Z followed by Return to exit. + +The next step is to install the Python package z3-solver using using the pip command, which was installed together with the +Python interpreter. In a command window run + +`pip install z3-solver` + +In the final step, configure OSATE to use the command `py` to run Python scripts. Start OSATE and go to _Window_ > +_Preferences_ > _Scripting_ > _Python Scripting (using Py4J)_ , type `py` into the Python location text field and click _Apply and Close_ . diff --git a/deploy.sh b/deploy.sh index 776de01..817bb5e 100644 --- a/deploy.sh +++ b/deploy.sh @@ -1,7 +1,7 @@ set -x FROMDIR=org.osate.contract.repository/target/repository -TODIR=/var/www/html/p2/contract-annex +TODIR=/var/www/html/download/osate/components/contract-annex rm -fr ${TODIR} mkdir -p ${TODIR}