Merge pull request #542 from diffblue/release-does-package

Release CI flow: release flow now does packaging

Author: tautschnig

.github/workflows/ebmc-packages.yaml

@@ -6,6 +6,150 @@ on:
 name: Create Release
 
 jobs:
+  ubuntu-22_04-package:
+    name: Package for Ubuntu 22.04
+    runs-on: ubuntu-22.04
+    steps:
+      - uses: actions/checkout@v4
+        with:
+          submodules: recursive
+      - name: Fetch dependencies
+        run: |
+          sudo apt-get update
+          sudo apt-get install --no-install-recommends -yq gcc g++ jq flex bison libxml2-utils ccache
+      - name: Prepare ccache
+        uses: actions/cache@v4
+        with:
+          save-always: true
+          path: .ccache
+          key: ${{ runner.os }}-20.04-make-gcc-${{ github.ref }}-${{ github.sha }}-PR
+          restore-keys: |
+            ${{ runner.os }}-20.04-make-gcc-${{ github.ref }}
+            ${{ runner.os }}-20.04-make-gcc
+      - name: ccache environment
+        run: |
+          echo "CCACHE_BASEDIR=$PWD" >> $GITHUB_ENV
+          echo "CCACHE_DIR=$PWD/.ccache" >> $GITHUB_ENV
+      - name: Get minisat
+        run: make -C lib/cbmc/src minisat2-download
+      - name: Build with make
+        run: make -C src -j2 CXX="ccache g++"
+      - name: Run the ebmc tests with SAT
+        run: make -C regression/ebmc test
+      - name: Run the verilog tests
+        run: make -C regression/verilog test
+      - name: Print ccache stats
+        run: ccache -s
+      - name: Create packages
+        id: create_packages
+        run: |
+          VERSION=$(echo ${{ github.ref }} | cut -d "/" -f 3 | cut -d "-" -f 2)
+          mkdir -p ebmc-${VERSION}/DEBIAN
+          mkdir -p ebmc-${VERSION}/usr/bin
+          cp src/ebmc/ebmc ebmc-${VERSION}/usr/bin
+          cat << EOM > ebmc-${VERSION}/DEBIAN/control
+          Package: ebmc
+          Version: ${VERSION}
+          Architecture: amd64
+          Maintainer: Daniel Kroening <dkr@amazon.com>
+          Depends:
+          Installed-Size: 6600
+          Homepage: http://www.cprover.org/ebmc/
+          Description: The EBMC Model Checker
+          EOM
+          chown root:root -R ebmc-${VERSION}
+          dpkg -b ebmc-${VERSION}
+          deb_package_name="$(ls *.deb)"
+          echo "deb_package=./build/$deb_package_name" >> $GITHUB_OUTPUT
+          echo "deb_package_name=ubuntu-22.04-$deb_package_name" >> $GITHUB_OUTPUT
+      - name: Get release info
+        id: get_release_info
+        uses: bruceadams/get-release@v1.3.2
+      - name: Upload binary packages
+        uses: actions/upload-release-asset@v1
+        with:
+          upload_url: ${{ steps.get_release_info.outputs.upload_url }}
+          asset_path: ${{ steps.create_packages.outputs.deb_package }}
+          asset_name: ${{ steps.create_packages.outputs.deb_package_name }}
+          asset_content_type: application/x-deb
+
+  centos8-package:
+    name: Package for CentOS 8
+    runs-on: ubuntu-22.04
+    container:
+      image: centos:8
+    steps:
+      - name: Install Packages
+        run: |
+          sed -i -e "s|mirrorlist=|#mirrorlist=|g" -e "s|#baseurl=http://mirror.centos.org|baseurl=http://vault.centos.org|g" /etc/yum.repos.d/CentOS-Linux-*
+          yum -y install make gcc-c++ flex bison git rpmdevtools wget
+          wget --no-verbose https://github.com/ccache/ccache/releases/download/v4.8.3/ccache-4.8.3-linux-x86_64.tar.xz
+          tar xJf ccache-4.8.3-linux-x86_64.tar.xz
+          cp ccache-4.8.3-linux-x86_64/ccache /usr/bin/
+      - name: cache for ccache
+        uses: actions/cache@v4
+        with:
+          path: /github/home/.cache/ccache
+          save-always: true
+          key: ${{ runner.os }}-centos8-make-gcc-${{ github.ref }}-${{ github.sha }}-PR
+          restore-keys: ${{ runner.os }}-centos8-make-gcc-
+      - uses: actions/checkout@v4
+        with:
+          submodules: recursive
+      - name: Zero ccache stats and limit in size
+        run: ccache -z --max-size=500M
+      - name: ccache path
+        run: ccache -p | grep cache_dir
+      - name: Get minisat
+        run: make -C lib/cbmc/src minisat2-download
+      - name: Build with make
+        run: make CXX="ccache g++ -Wno-class-memaccess" LIBS="-lstdc++fs" -C src -j2
+      - name: Run the ebmc tests with SAT
+        run: |
+          rm regression/ebmc/neural-liveness/counter1.desc
+          make -C regression/ebmc test
+      - name: Run the verilog tests
+        run: make -C regression/verilog test
+      - name: Create .rpm
+        run: |
+          VERSION=$(echo ${{ github.ref }} | cut -d "/" -f 3 | cut -d "-" -f 2)
+          rpmdev-setuptree
+
+          cat > ~/rpmbuild/SPECS/ebmc.spec << EOM
+          #This is a spec file for ebmc
+
+          Summary:          EBMC Model Checker
+          License:          BSD 3-clause
+          Name:             ebmc
+          Version:          ${VERSION}
+          Release:          1
+          Prefix:           /usr
+          Group:            Development/Tools
+          Requires:         
+
+          %description
+          EBMC is a formal verification tool for hardware designs.
+
+          %prep
+
+          %build
+
+          %install
+          mkdir %{buildroot}/usr
+          mkdir %{buildroot}/usr/lib
+          mkdir %{buildroot}/usr/bin
+          mkdir %{buildroot}/usr/lib/ebmc
+          cp ${SRC}/src/ebmc/jcover %{buildroot}/usr/bin/
+
+          %files
+          /usr/bin/ebmc
+          EOM
+
+          echo Building ebmc-${VERSION}-1.x86_64.rpm
+          (cd ~/rpmbuild/SPECS ; rpmbuild -v -bb ebmc.spec )
+      - name: Print ccache stats
+        run: ccache -s
+
   get-version-information:
     name: Get Version Information
     runs-on: ubuntu-20.04
@@ -22,10 +166,11 @@ jobs:
         with:
           msg: ${{ steps.split-ref.outputs._2 }}
           separator: '-'
+
   perform-release:
     name: Perform Release
     runs-on: ubuntu-20.04
-    needs: get-version-information
+    needs: [ubuntu-22_04-package, centos8-package, get-version-information]
     steps:
       - name: Create release
         uses: actions/create-release@v1
@@ -45,6 +190,13 @@ jobs:
             On Ubuntu, install EBMC by downloading the *.deb package below for your version of Ubuntu and install with
 
             ```sh
-            # Ubuntu 22:
-            $ dpkg -i ubuntu-22.04-ebmc-${{ env.EBMC_VERSION }}-Linux.deb
+            dpkg -i ubuntu-22.04-ebmc-${{ env.EBMC_VERSION }}-Linux.deb
+            ```
+
+            ## CentOS
+
+            On CentOS, install EBMC by downloading the *.rpm package below for your version of CentOS and install with
+
+            ```sh
+            rpm -i ebmc-${{ env.EBMC_VERSION }}-1.x86_64.rpm
             ```