Skip to content

Commit c876645

Browse files
author
Mark R. Tuttle
committed
Modify GitHub Actions to build only /usr/local/bin installers.
The GitHub Actions builds one set of installers that installs into the operating system's equivalent of /usr/local/bin, and a second set of installers that installs into the equivalent of /usr/local/cbmc-latest/bin. This patch removes the second set of installers and leaves only those installing into /usr/local/bin.
1 parent 295bc7b commit c876645

File tree

1 file changed

+87
-87
lines changed

1 file changed

+87
-87
lines changed

‎.github/workflows/packages.yaml

Lines changed: 87 additions & 87 deletions
Original file line numberDiff line numberDiff line change
@@ -69,7 +69,7 @@ jobs:
6969
echo CBMC_VERSION = ${{ steps.version.outputs.cbmc_version }}
7070
echo PKG_VERSION = ${{ steps.version.outputs.pkg_version }}
7171
72-
Ubuntu16_Stable:
72+
Ubuntu16:
7373
name: Ubuntu 16 cbmc package
7474
runs-on: ubuntu-16.04
7575
needs: Tags
@@ -105,43 +105,43 @@ jobs:
105105
name: ${{ env.ARTIFACT_STABLE_NAME }}
106106
path: ${{ env.PACKAGE_STABLE_NAME }}
107107

108-
Ubuntu16_Latest:
109-
name: Ubuntu 16 cbmc-latest package
110-
runs-on: ubuntu-16.04
111-
needs: Tags
112-
env:
113-
OS: xenial
114-
PKG_VERSION: ${{needs.Tags.outputs.pkg_version}}
115-
CBMC_VERSION: ${{needs.Tags.outputs.cbmc_version}}
116-
TIME: ${{needs.Tags.outputs.time}}
117-
SHA: ${{needs.Tags.outputs.sha}}
118-
119-
PACKAGE_LATEST_NAME: cbmc-latest_${{needs.Tags.outputs.pkg_version}}~xenial_amd64.deb
120-
ARTIFACT_LATEST_NAME: Ubuntu16 cbmc-latest ${{needs.Tags.outputs.pkg_version}} xenial ${{needs.Tags.outputs.time}} ${{needs.Tags.outputs.sha}} ${{needs.Tags.outputs.runid}}
121-
122-
SCRIPT_DIR: .github/workflows/debian
123-
steps:
124-
125-
- name: Checkout the repository
126-
uses: actions/checkout@v2
127-
128-
- name: Update the submodules
129-
run: git submodule update --init
130-
131-
- name: Create the package
132-
run: |
133-
cp -r . /tmp/cbmc-${CBMC_VERSION}
134-
cp ${SCRIPT_DIR}/Makefile ${SCRIPT_DIR}/changelog ${SCRIPT_DIR}/surefire ${SCRIPT_DIR}/64bit_regression_tests.patch /tmp
135-
make -C /tmp GITHUB=1 STABLE= CBMC_VERSION=${CBMC_VERSION} PKG_VERSION=${PKG_VERSION}
136-
mv /tmp/*.deb ${PACKAGE_LATEST_NAME}
137-
138-
- name: Upload the package
139-
uses: actions/upload-artifact@v1
140-
with:
141-
name: ${{ env.ARTIFACT_LATEST_NAME }}
142-
path: ${{ env.PACKAGE_LATEST_NAME }}
143-
144-
Ubuntu18_Stable:
108+
# Ubuntu16_Latest:
109+
# name: Ubuntu 16 cbmc-latest package
110+
# runs-on: ubuntu-16.04
111+
# needs: Tags
112+
# env:
113+
# OS: xenial
114+
# PKG_VERSION: ${{needs.Tags.outputs.pkg_version}}
115+
# CBMC_VERSION: ${{needs.Tags.outputs.cbmc_version}}
116+
# TIME: ${{needs.Tags.outputs.time}}
117+
# SHA: ${{needs.Tags.outputs.sha}}
118+
#
119+
# PACKAGE_LATEST_NAME: cbmc-latest_${{needs.Tags.outputs.pkg_version}}~xenial_amd64.deb
120+
# ARTIFACT_LATEST_NAME: Ubuntu16 cbmc-latest ${{needs.Tags.outputs.pkg_version}} xenial ${{needs.Tags.outputs.time}} ${{needs.Tags.outputs.sha}} ${{needs.Tags.outputs.runid}}
121+
#
122+
# SCRIPT_DIR: .github/workflows/debian
123+
# steps:
124+
#
125+
# - name: Checkout the repository
126+
# uses: actions/checkout@v2
127+
#
128+
# - name: Update the submodules
129+
# run: git submodule update --init
130+
#
131+
# - name: Create the package
132+
# run: |
133+
# cp -r . /tmp/cbmc-${CBMC_VERSION}
134+
# cp ${SCRIPT_DIR}/Makefile ${SCRIPT_DIR}/changelog ${SCRIPT_DIR}/surefire ${SCRIPT_DIR}/64bit_regression_tests.patch /tmp
135+
# make -C /tmp GITHUB=1 STABLE= CBMC_VERSION=${CBMC_VERSION} PKG_VERSION=${PKG_VERSION}
136+
# mv /tmp/*.deb ${PACKAGE_LATEST_NAME}
137+
#
138+
# - name: Upload the package
139+
# uses: actions/upload-artifact@v1
140+
# with:
141+
# name: ${{ env.ARTIFACT_LATEST_NAME }}
142+
# path: ${{ env.PACKAGE_LATEST_NAME }}
143+
144+
Ubuntu18:
145145
name: Ubuntu 18 cbmc package
146146
runs-on: ubuntu-18.04
147147
needs: Tags
@@ -177,41 +177,41 @@ jobs:
177177
name: ${{ env.ARTIFACT_STABLE_NAME }}
178178
path: ${{ env.PACKAGE_STABLE_NAME }}
179179

180-
Ubuntu18_Latest:
181-
name: Ubuntu 18 cbmc-latest package
182-
runs-on: ubuntu-18.04
183-
needs: Tags
184-
env:
185-
OS: bionic
186-
PKG_VERSION: ${{needs.Tags.outputs.pkg_version}}
187-
CBMC_VERSION: ${{needs.Tags.outputs.cbmc_version}}
188-
TIME: ${{needs.Tags.outputs.time}}
189-
SHA: ${{needs.Tags.outputs.sha}}
190-
191-
PACKAGE_LATEST_NAME: cbmc-latest_${{needs.Tags.outputs.pkg_version}}~bionic_amd64.deb
192-
ARTIFACT_LATEST_NAME: Ubuntu18 cbmc-latest ${{needs.Tags.outputs.pkg_version}} bionic ${{needs.Tags.outputs.time}} ${{needs.Tags.outputs.sha}} ${{needs.Tags.outputs.runid}}
193-
194-
SCRIPT_DIR: .github/workflows/debian
195-
steps:
196-
197-
- name: Checkout the repository
198-
uses: actions/checkout@v2
199-
200-
- name: Update the submodules
201-
run: git submodule update --init
202-
203-
- name: Create the package
204-
run: |
205-
cp -r . /tmp/cbmc-${CBMC_VERSION}
206-
cp ${SCRIPT_DIR}/Makefile ${SCRIPT_DIR}/changelog ${SCRIPT_DIR}/surefire ${SCRIPT_DIR}/64bit_regression_tests.patch /tmp
207-
make -C /tmp GITHUB=1 STABLE= CBMC_VERSION=${CBMC_VERSION} PKG_VERSION=${PKG_VERSION}
208-
mv /tmp/*.deb ${PACKAGE_LATEST_NAME}
209-
210-
- name: Upload the package
211-
uses: actions/upload-artifact@v1
212-
with:
213-
name: ${{ env.ARTIFACT_LATEST_NAME }}
214-
path: ${{ env.PACKAGE_LATEST_NAME }}
180+
# Ubuntu18_Latest:
181+
# name: Ubuntu 18 cbmc-latest package
182+
# runs-on: ubuntu-18.04
183+
# needs: Tags
184+
# env:
185+
# OS: bionic
186+
# PKG_VERSION: ${{needs.Tags.outputs.pkg_version}}
187+
# CBMC_VERSION: ${{needs.Tags.outputs.cbmc_version}}
188+
# TIME: ${{needs.Tags.outputs.time}}
189+
# SHA: ${{needs.Tags.outputs.sha}}
190+
#
191+
# PACKAGE_LATEST_NAME: cbmc-latest_${{needs.Tags.outputs.pkg_version}}~bionic_amd64.deb
192+
# ARTIFACT_LATEST_NAME: Ubuntu18 cbmc-latest ${{needs.Tags.outputs.pkg_version}} bionic ${{needs.Tags.outputs.time}} ${{needs.Tags.outputs.sha}} ${{needs.Tags.outputs.runid}}
193+
#
194+
# SCRIPT_DIR: .github/workflows/debian
195+
# steps:
196+
#
197+
# - name: Checkout the repository
198+
# uses: actions/checkout@v2
199+
#
200+
# - name: Update the submodules
201+
# run: git submodule update --init
202+
#
203+
# - name: Create the package
204+
# run: |
205+
# cp -r . /tmp/cbmc-${CBMC_VERSION}
206+
# cp ${SCRIPT_DIR}/Makefile ${SCRIPT_DIR}/changelog ${SCRIPT_DIR}/surefire ${SCRIPT_DIR}/64bit_regression_tests.patch /tmp
207+
# make -C /tmp GITHUB=1 STABLE= CBMC_VERSION=${CBMC_VERSION} PKG_VERSION=${PKG_VERSION}
208+
# mv /tmp/*.deb ${PACKAGE_LATEST_NAME}
209+
#
210+
# - name: Upload the package
211+
# uses: actions/upload-artifact@v1
212+
# with:
213+
# name: ${{ env.ARTIFACT_LATEST_NAME }}
214+
# path: ${{ env.PACKAGE_LATEST_NAME }}
215215

216216
MacOS:
217217
name: MacOS packages
@@ -242,19 +242,19 @@ jobs:
242242
run: |
243243
make -f ${SCRIPT_DIR}/Makefile
244244
mv cbmc.tar.gz ${PACKAGE_STABLE_NAME}
245-
mv cbmc-latest.tar.gz ${PACKAGE_LATEST_NAME}
245+
# mv cbmc-latest.tar.gz ${PACKAGE_LATEST_NAME}
246246

247247
- name: Upload the cbmc package
248248
uses: actions/upload-artifact@v1
249249
with:
250250
name: ${{env.ARTIFACT_STABLE_NAME}}
251251
path: ${{env.PACKAGE_STABLE_NAME}}
252252

253-
- name: Upload the cbmc-latest package
254-
uses: actions/upload-artifact@v1
255-
with:
256-
name: ${{env.ARTIFACT_LATEST_NAME}}
257-
path: ${{env.PACKAGE_LATEST_NAME}}
253+
# - name: Upload the cbmc-latest package
254+
# uses: actions/upload-artifact@v1
255+
# with:
256+
# name: ${{env.ARTIFACT_LATEST_NAME}}
257+
# path: ${{env.PACKAGE_LATEST_NAME}}
258258

259259
VS2019:
260260
name: Windows VS2019 installers
@@ -298,18 +298,18 @@ jobs:
298298
run: |
299299
${{env.SCRIPT_DIR}}\build-installer.bat cbmc && move cbmc.msi ${{env.PACKAGE_STABLE_NAME}}
300300
301-
- name: Build the latest installer
302-
run: |
303-
${{env.SCRIPT_DIR}}\build-installer.bat cbmc-latest && move cbmc-latest.msi ${{env.PACKAGE_LATEST_NAME}}
301+
# - name: Build the latest installer
302+
# run: |
303+
# ${{env.SCRIPT_DIR}}\build-installer.bat cbmc-latest && move cbmc-latest.msi ${{env.PACKAGE_LATEST_NAME}}
304304

305305
- name: Upload the cbmc installer
306306
uses: actions/upload-artifact@v1
307307
with:
308308
name: ${{env.ARTIFACT_STABLE_NAME}}
309309
path: ${{env.PACKAGE_STABLE_NAME}}
310310

311-
- name: Upload the cbmc-latest installer
312-
uses: actions/upload-artifact@v1
313-
with:
314-
name: ${{env.ARTIFACT_LATEST_NAME}}
315-
path: ${{env.PACKAGE_LATEST_NAME}}
311+
# - name: Upload the cbmc-latest installer
312+
# uses: actions/upload-artifact@v1
313+
# with:
314+
# name: ${{env.ARTIFACT_LATEST_NAME}}
315+
# path: ${{env.PACKAGE_LATEST_NAME}}

0 commit comments

Comments
 (0)