From 72c70c79fdef482b78b131218d16c6c7aa82edd8 Mon Sep 17 00:00:00 2001 From: Maxime Arthaud Date: Thu, 12 Dec 2019 14:21:55 -0800 Subject: [PATCH] Update version number to 3.0 --- CMakeLists.txt | 2 +- README.md | 2 +- doc/install/CENTOS_6.10.md | 2 +- doc/install/CENTOS_7.6.md | 2 +- doc/install/FEDORA_29.md | 2 +- doc/install/FEDORA_30.md | 2 +- doc/install/RHEL_6.10.md | 2 +- doc/install/RHEL_7.7.md | 2 +- doc/install/ROOTLESS.md | 4 ++-- script/bootstrap | 2 +- 10 files changed, 11 insertions(+), 11 deletions(-) diff --git a/CMakeLists.txt b/CMakeLists.txt index 59d99450..ef3bf09b 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -41,7 +41,7 @@ cmake_minimum_required(VERSION 3.4.3 FATAL_ERROR) project(ikos) -set(PACKAGE_VERSION "2.2") +set(PACKAGE_VERSION "3.0") # # Build settings diff --git a/README.md b/README.md index 76e7389c..46ab2ce8 100644 --- a/README.md +++ b/README.md @@ -3,7 +3,7 @@ IKOS [![Build Status](https://travis-ci.org/NASA-SW-VnV/ikos.svg?branch=master)](https://travis-ci.org/NASA-SW-VnV/ikos) [![License](https://img.shields.io/badge/license-NOSA%201.3-blue.svg)](LICENSE.pdf) -[![Release](https://img.shields.io/badge/release-v2.2-orange.svg)](https://github.com/NASA-SW-VnV/ikos/releases/tag/v2.2) +[![Release](https://img.shields.io/badge/release-v3.0-orange.svg)](https://github.com/NASA-SW-VnV/ikos/releases/tag/v3.0) IKOS (Inference Kernel for Open Static Analyzers) is a static analyzer for C/C++ based on the theory of Abstract Interpretation. diff --git a/doc/install/CENTOS_6.10.md b/doc/install/CENTOS_6.10.md index ea10c0e8..af304c67 100644 --- a/doc/install/CENTOS_6.10.md +++ b/doc/install/CENTOS_6.10.md @@ -73,7 +73,7 @@ After installation, the install directory will contain the following structure: │ ├── include │ ├── lib │ └── share -├── ikos-2.2 +├── ikos-3.0 │ ├── bin │ ├── include │ ├── lib diff --git a/doc/install/CENTOS_7.6.md b/doc/install/CENTOS_7.6.md index f1aff9c5..a4c5f5d9 100644 --- a/doc/install/CENTOS_7.6.md +++ b/doc/install/CENTOS_7.6.md @@ -69,7 +69,7 @@ After installation, the install directory will contain the following structure: │ ├── bin │ ├── doc │ └── share -├── ikos-2.2 +├── ikos-3.0 │ ├── bin │ ├── include │ ├── lib diff --git a/doc/install/FEDORA_29.md b/doc/install/FEDORA_29.md index 50b4958c..fcddc914 100644 --- a/doc/install/FEDORA_29.md +++ b/doc/install/FEDORA_29.md @@ -45,7 +45,7 @@ After installation, the install directory will contain the following structure: │ ├── bin │ ├── include │ └── lib -├── ikos-2.2 +├── ikos-3.0 │ ├── bin │ ├── include │ ├── lib diff --git a/doc/install/FEDORA_30.md b/doc/install/FEDORA_30.md index 34d238f0..29976963 100644 --- a/doc/install/FEDORA_30.md +++ b/doc/install/FEDORA_30.md @@ -45,7 +45,7 @@ After installation, the install directory will contain the following structure: │ ├── bin │ ├── include │ └── lib -├── ikos-2.2 +├── ikos-3.0 │ ├── bin │ ├── include │ ├── lib diff --git a/doc/install/RHEL_6.10.md b/doc/install/RHEL_6.10.md index ddd01098..4bab73bd 100644 --- a/doc/install/RHEL_6.10.md +++ b/doc/install/RHEL_6.10.md @@ -64,7 +64,7 @@ After installation, the install directory will contain the following structure: │ ├── include │ ├── lib │ └── share -├── ikos-2.2 +├── ikos-3.0 │ ├── bin │ ├── include │ ├── lib diff --git a/doc/install/RHEL_7.7.md b/doc/install/RHEL_7.7.md index 915df23e..2b307880 100644 --- a/doc/install/RHEL_7.7.md +++ b/doc/install/RHEL_7.7.md @@ -60,7 +60,7 @@ After installation, the install directory will contain the following structure: │ ├── lib64 │ ├── libexec │ └── share -├── ikos-2.2 +├── ikos-3.0 │ ├── bin │ ├── include │ ├── lib diff --git a/doc/install/ROOTLESS.md b/doc/install/ROOTLESS.md index c1612929..7e715ef5 100644 --- a/doc/install/ROOTLESS.md +++ b/doc/install/ROOTLESS.md @@ -62,7 +62,7 @@ After installation, the install directory will contain the following structure: ├── activate-full ├── activate-minimal ├── [...] -├── ikos-2.2 +├── ikos-3.0 │ ├── bin │ ├── include │ ├── lib @@ -103,7 +103,7 @@ $ source /path/to/ikos-install/activate-full To run the tests: ``` -$ cd /path/to/ikos-build/ikos-2.2 +$ cd /path/to/ikos-build/ikos-3.0 $ make check ``` diff --git a/script/bootstrap b/script/bootstrap index 392a58ef..606daf53 100755 --- a/script/bootstrap +++ b/script/bootstrap @@ -69,7 +69,7 @@ progname=$(basename "$0") # Version settings -ikos_version="2.2" +ikos_version="3.0" gcc_required_version="4.9.2" clang_required_version="3.4" apple_clang_required_version="3.4"