Merge pull request #5464 from hannes-steffenhagen-diffblue/CD/create-debian-package-on-release

Cd/create debian package on release

Author: hannes-steffenhagen-diffblue

.github/workflows/pull-request-checks.yaml

@@ -51,7 +51,7 @@ jobs:
           # user input
           DEBIAN_FRONTEND: noninteractive
         run: |
-          sudo apt-get install -yq cmake ninja-build gcc g++ maven flex bison libxml2-utils cpanminus
+          sudo apt-get install -yq cmake ninja-build gcc g++ maven flex bison libxml2-utils cpanminus dpkg-dev
           cpanm Thread::Pool::Simple
       - name: Configure using CMake
         run: |
@@ -60,6 +60,11 @@ jobs:
           cmake .. -G Ninja -DCMAKE_BUILD_TYPE=Release -DCMAKE_C_COMPILER=/usr/bin/gcc -DCMAKE_CXX_COMPILER=/usr/bin/g++
       - name: Build with Ninja
         run: cd build; ninja
+      - name: Check if package building works
+        run: |
+          cd build
+          ninja package
+          ls *.deb
       - name: Run tests
         run: cd build; ctest . -V -L CORE
         env:

.github/workflows/release-packages.yaml

@@ -0,0 +1,45 @@
+on:
+  release:
+    types: [created]
+
+name: Upload additional release assets
+jobs:
+  ubuntu-package:
+    runs-on: ubuntu-20.04
+    env:
+      GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+    steps:
+      - uses: actions/checkout@v2
+        with:
+          submodules: recursive
+      - name: Fetch dependencies
+        run: sudo apt install g++ flex bison cmake ninja-build maven jq xmllint dpkg-dev
+      - name: Configure CMake
+        run: |
+          mkdir build
+          cd build
+          cmake .. -G Ninja -DCMAKE_BUILD_TYPE=Release
+      - name: Build using Ninja
+        run: |
+          cd build
+          ninja
+      - name: Run CTest
+        run: cd build; ctest -V .
+      - name: Create packages
+        id: create_packages
+        run: |
+          cd build
+          ninja package
+          deb_package_name="$(ls *.deb)"
+          echo "::set-output name=deb_package::./build/$deb_package_name"
+          echo "::set-output name=deb_package_name::$deb_package_name"
+      - name: Get release info
+        id: get_release_info
+        uses: bruceadams/get-release@v1.2.0
+      - 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

CMakeLists.txt

@@ -213,3 +213,5 @@ option(WITH_JBMC "Build the JBMC Java front-end" ON)
 if(WITH_JBMC)
     add_subdirectory(jbmc)
 endif()
+
+include(cmake/packaging.cmake)

cmake/packaging.cmake

@@ -0,0 +1,34 @@
+set(CPACK_PACKAGE_NAME "cbmc")
+set(CPACK_PACKAGE_VENDOR "Diffblue Ltd.")
+set(CPACK_PACKAGE_CONTACT "info@diffblue.com")
+set(CPACK_PACKAGE_DESCRIPTION_SUMMARY "CBMC is a Bounded Model Checker for C and C++ programs")
+set(CPACK_PACKAGE_DESCRIPTION
+"CBMC generates traces that demonstrate how an assertion can be violated,
+or proves that the assertion cannot be violated within a given number
+of loop iterations.")
+
+set(CPACK_PACKAGE_VERSION_MAJOR ${PROJECT_VERSION_MAJOR})
+set(CPACK_PACKAGE_VERSION_MINOR ${PROJECT_VERSION_MINOR})
+set(CPACK_PACKAGE_VERSION_PATCH ${PROJECT_VERSION_PATCH})
+
+# This should always be set, just isn’t by default for awkward backward compatibility reasons
+set(CPACK_VERBATIM_VARIABLES YES)
+
+set(CPACK_RESOURCE_FILE_LICENSE "${CMAKE_CURRENT_SOURCE_DIR}/LICENSE")
+set(CPACK_PACKAGE_RESOURCE_FILE_README "${CMAKE_CURRENT_SOURCE_DIR}/README.md")
+
+# Automatically find dependencies for shared libraries
+set(CPACK_DEBIAN_PACKAGE_SHLIBDEPS YES)
+
+# In addition, we depend on gcc for preprocessing
+set(CPACK_DEBIAN_PACKAGE_DEPENDS gcc)
+
+# TODO packages for other platforms
+if(CMAKE_SYSTEM_NAME STREQUAL "Linux")
+  set(CPACK_GENERATOR TGZ DEB)
+endif()
+
+# Yes, this has to go at the bottom,
+# otherwise it can’t take into account
+# all the variables we set above!
+include(CPack)