45
45
prerelease : false
46
46
47
47
ubuntu-22_04-package :
48
- name : Package .deb
48
+ name : Package amd64 .deb
49
49
runs-on : ubuntu-22.04
50
50
needs : [perform-draft-release]
51
51
outputs :
@@ -85,11 +85,12 @@ jobs:
85
85
id : create_packages
86
86
run : |
87
87
VERSION=$(echo ${{ github.ref }} | cut -d "/" -f 3 | cut -d "-" -f 2)
88
- mkdir -p ebmc-${VERSION}/DEBIAN
89
- mkdir -p ebmc-${VERSION}/usr/bin
90
- cp src/ebmc/ebmc ebmc-${VERSION}/usr/bin
91
- strip ebmc-${VERSION}/usr/bin/ebmc
92
- cat << EOM > ebmc-${VERSION}/DEBIAN/control
88
+ DIR=ebmc_${VERSION}_amd64
89
+ mkdir -p ${DIR}/DEBIAN
90
+ mkdir -p ${DIR}/usr/bin
91
+ cp src/ebmc/ebmc ${DIR}/usr/bin
92
+ strip ${DIR}/usr/bin/ebmc
93
+ cat << EOM > ${DIR}/DEBIAN/control
93
94
Package: ebmc
94
95
Version: ${VERSION}
95
96
Architecture: amd64
99
100
Homepage: http://www.cprover.org/ebmc/
100
101
Description: The EBMC Model Checker
101
102
EOM
102
- sudo chown root:root -R ebmc-${VERSION }
103
+ sudo chown root:root -R ${DIR }
103
104
# we give -Zxz since older Debian versions do not uncompress zstd
104
- dpkg-deb -Zxz -b ebmc-${VERSION }
105
+ dpkg-deb -Zxz -b ${DIR }
105
106
deb_package_name="$(ls *.deb)"
106
107
echo "deb_package_path=$PWD/$deb_package_name" >> $GITHUB_OUTPUT
107
108
echo "deb_package_name=$deb_package_name" >> $GITHUB_OUTPUT
@@ -116,7 +117,7 @@ jobs:
116
117
asset_content_type : application/x-deb
117
118
118
119
centos8-package :
119
- name : Package .rpm
120
+ name : Package x86_64 .rpm
120
121
runs-on : ubuntu-22.04
121
122
needs : [perform-draft-release]
122
123
outputs :
0 commit comments