From c1ef758e5f7435f08826c0d55166ff500caf820f Mon Sep 17 00:00:00 2001 From: Daniel Kroening Date: Fri, 17 Aug 2018 08:57:44 +0100 Subject: [PATCH 1/2] jbmc build now uses Maven, not unzip --- COMPILING.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/COMPILING.md b/COMPILING.md index d4b7fb3281f..dfddb31203f 100644 --- a/COMPILING.md +++ b/COMPILING.md @@ -37,11 +37,11 @@ We assume that you have a Debian/Ubuntu or Red Hat-like distribution. To compile JBMC, you additionally need the JDK and the java-models-library. For the JDK, on Debian-like distributions, do as root: ``` - apt-get install unzip openjdk-8-jdk + apt-get install openjdk-8-jdk maven ``` On Red Hat/Fedora or derivates, do as root: ``` - dnf install unzip java-1.8.0-openjdk-devel + dnf install java-1.8.0-openjdk-devel maven ``` 2. As a user, get the CBMC source via From ad1b1d8ff9b730ac0dae0431620cc24636b5f514 Mon Sep 17 00:00:00 2001 From: Daniel Kroening Date: Fri, 17 Aug 2018 08:58:08 +0100 Subject: [PATCH 2/2] Red Hat and Fedora now use dnf instead of yum --- COMPILING.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/COMPILING.md b/COMPILING.md index dfddb31203f..1ddbedd0442 100644 --- a/COMPILING.md +++ b/COMPILING.md @@ -220,7 +220,7 @@ require manual modification of build files. ``` - On Red Hat/Fedora or derivates, do ``` - yum install cmake + dnf install cmake ``` - On macOS, do ```