From 243505f6416e8c930602155c60cb7061087cc298 Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Tue, 23 Apr 2019 15:36:00 +0200
Subject: [PATCH] [INSTALL] changes into step 3 & 4 about why3 and coq (both
are for Frama-C/WP)
---
INSTALL.md | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/INSTALL.md b/INSTALL.md
index 79d1793add0..a8bb6255251 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -168,13 +168,12 @@ We recommend to rely on it for the installation of Frama-C.
```shell
brew install graphviz
- opam install why3
```
4. Install *optional* dependencies for Frama-C/WP:
```shell
- opam install coq coqide
+ opam install coq coqide why3 why3-coq
```
5. Install Frama-C:
--
GitLab