afp-mirror
/
UPF_Firewall
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Updated installation instructions for Isabelle 2018.

This commit is contained in:
Achim D. Brucker 2018-12-26 00:01:33 +00:00
parent cb4f1d2a2f
commit dcc6ae26ab
1 changed files with 1 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
README.md
View File

@ -20,14 +20,9 @@ for installing the AFP locally. For short:
* Let's assume the extracted archive lives in `/home/isabelle/afp`, now execute:
```
mkdir -p ~/.isabelle/Isabelle2016-1/etc
echo "/home/isabelle/afp" >> ~/.isabelle/Isabelle2016-1/etc/components
echo "/home/isabelle/afp/thys" >> ~/.isabelle/Isabelle2018/ROOTS
```
Now, you can either link the UPF entry to a sibling directory of UPF_Firewall such
that the import `../../UPF/UPF` in `PacketFilter/PolicyCore.thy` is valid. Alternatively,
you need to change this import to `$AFP/UPF/UPF`.
## How to build
```