Revision 67515b4428ed32144def311fe9934faee4939757 authored by Konrad Kohbrok on 19 April 2018, 18:24:43 UTC, committed by Konrad Kohbrok on 19 April 2018, 18:24:43 UTC
1 parent b07c391
INSTALL.md
# INSTALLATION
Hacl* relies on [F*](https://github.com/FStarLang/FStar) and
[KreMLin](https://github.com/FStarLang/kremlin) for verification,
extraction to OCaml (specs/) and extraction to C (code/).
Everest allows a reasonably easy setup with most up-to-date stable
combination of OPAM, F*, KreMLin, Z3
```
git clone -b stable https://github.com/project-everest/everest.git
cd everest
./everest check
./everest FStar pull make
./everest kremlin pull make
```
### Installing HACL*
To start using HACL* you can simply download the stable or master
branch of the repository and setting the following environnement variable.
```
export HACL_HOME= <path-to hacl-star>
```
Calling `make` from the root directory will give you more information.
### HACL* master
The HACL* repository has multiple branches: stable, master and
feature branches. Feel free to install the cutting edge master.
As it is under continuous integration, it should be working at
all times.
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...