Merge branch 'dev-gha'. Close #186.

.github/workflows/build-linux.yml

@@ -0,0 +1,41 @@
+name: Build tool on Linux
+on:
+  push:
+  pull_request:
+jobs:
+  build-linux:
+    runs-on: ubuntu-latest
+
+    env:
+     PYTHONPATH: /opt/ikos/lib/python3.10/site-packages/
+     MAKEFLAGS: -j4
+
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v4
+
+      - name: Install dependencies
+        run: |
+         sudo apt-get install --yes \
+           gcc g++ cmake libgmp-dev libboost-dev libboost-filesystem-dev \
+           libboost-thread-dev libboost-test-dev \
+           libsqlite3-dev libtbb-dev libz-dev libedit-dev \
+           python3 python3-pygments python3-distutils python3-pip \
+           llvm-14 llvm-14-dev llvm-14-tools clang-14
+      - name: Compile IKOS
+        run: |
+          mkdir build
+          cd build
+          cmake \
+            -DCMAKE_INSTALL_PREFIX="/opt/ikos" \
+            -DCMAKE_BUILD_TYPE="Debug" \
+            -DLLVM_CONFIG_EXECUTABLE="/usr/lib/llvm-14/bin/llvm-config" \
+            ..
+          make
+          sudo make install
+      - name: Add IKOS to the path
+        run: |
+          echo "/opt/ikos/bin" >> $GITHUB_PATH
+      - name: Confirm that it runs
+        run: |
+          ikos --version

.github/workflows/build-macos.yml

@@ -0,0 +1,45 @@
+name: Build tool on OSX
+on:
+  push:
+  pull_request:
+jobs:
+  build:
+    runs-on: macos-latest
+    env:
+      LDFLAGS:  "-L/usr/local/opt/llvm@14/lib"
+      CPPFLAGS: "-I/usr/local/opt/llvm@14/include"
+
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v4
+      - name: Install dependencies
+        run: |
+          pip3 install setuptools
+      - name: Install dependencies
+        run: |
+          brew tap nasa-sw-vnv/core
+          brew install cmake gmp boost tbb llvm@14 apron sqlite
+      - name: Adjust path
+        run:
+          echo "/usr/local/opt/llvm@14/bin" >> $GITHUB_PATH
+      - name: Test LLVM
+        run: |
+          which llvm-config
+      - name: Compile IKOS
+        run: |
+          mkdir build
+          cd build
+          cmake \
+            -DCMAKE_INSTALL_PREFIX="/usr/local/opt/ikos" \
+            -DCMAKE_BUILD_TYPE="Debug" \
+            -DLLVM_CONFIG_EXECUTABLE="$(which llvm-config)" \
+            -DPYTHON_EXECUTABLE:FILEPATH="$(which python3)" \
+            ..
+          make
+          make install
+      - name: Add IKOS to the path
+        run: |
+          echo "/usr/local/opt/ikos/bin" >> $GITHUB_PATH
+      - name: Confirm that it runs
+        run: |
+          ikos --version

README.md

@@ -1,9 +1,10 @@
 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-v3.1-orange.svg)](https://github.com/NASA-SW-VnV/ikos/releases/tag/v3.1)
+[![Linux Build](https://github.com/NASA-SW-VnV/ikos/actions/workflows/build-linux.yml/badge.svg)](https://github.com/NASA-SW-VnV/ikos/actions/workflows/build-linux.yml)
+[![MacOS Build](https://github.com/NASA-SW-VnV/ikos/actions/workflows/build-macos.yml/badge.svg)](https://github.com/NASA-SW-VnV/ikos/actions/workflows/build-macos.yml)
 
 IKOS (Inference Kernel for Open Static Analyzers) is a static analyzer for C/C++ based on the theory of Abstract Interpretation.