- Update your default environment with the content of the script $HOME/dev/cise-devel/scripts/devenv.bash.ubuntu
- Update your default environment with the content of the script $HOME/dev/cise-data-model/scripts/devenv.bash.ubuntu
- Switch to the next clause (Usage)
@@ -344,16 +344,16 @@ Procedure using Eclipse TITAN:
- Start eclipse using a new workspace, (e.g. with the name workspace_titan)
- Download and follow the steps to install Eclipse plugins for TITAN, accessible [here]{https://www.eclipse.org/downloads/download.php?file=/titan/Eclipse_installationguide.pdf}
- Open the workspace_titan
- Create a new TITAN project (e.g. cise-devel)
- Create a new TITAN project (e.g. cise-data-model)
<TODO>
Procedure in TITAN command line:
- Open several SSH session (PuTTY...)
- Change to the directory ~/dev/cise-devel/src/AtsCise/objs
- Change to the directory ~/dev/cise-data-model/src/AtsCise/objs
- Build the test suite AtsCise
```sh
$ cd ~/dev/cise-devel/ &&export ATS=AtsCise
$ cd ~/dev/cise-data-model/ &&export ATS=AtsCise
$ make
...
```
@@ -365,7 +365,7 @@ $ make
- To run the test suite, execute the following command: