drop Cogent support

The project is no longer actively developed on top of seL4.

Signed-off-by: Gerwin Klein <[email protected]>

.github/workflows/docker-build.yml

@@ -16,10 +16,10 @@ jobs:
     - uses: actions/checkout@v3
     - run: ./build.sh -v -b sel4
     # the following will also build the plain camkes image:
-    - run: ./build.sh -v -b camkes -s cakeml -s cogent -s rust
+    - run: ./build.sh -v -b camkes -s cakeml -s rust
 
-  # This needs to rebuild the seL4 and camkes images (apart from cakeml/cogent/rust),
-  # but putting l4v in the same job as the large camkes-cakeml-cogent-rust image
+  # This needs to rebuild the seL4 and camkes images (apart from cakeml/rust),
+  # but putting l4v in the same job as the large camkes-cakeml-rust image
   # overflows the disk space of the GitHub runner.
   build-l4v:
     name: Docker images (l4v)

.github/workflows/docker-deploy.yml

@@ -48,12 +48,12 @@ jobs:
         ./build.sh -e SNAPSHOT_DATE=${SNAPSHOT_DATE} -v -b sel4
         docker tag trustworthysystems/sel4:latest trustworthysystems/sel4:${TAG}
     # the following will also build the plain camkes image:
-    - name: "Build trustworthysystems/camkes-cakeml-cogent-rust"
+    - name: "Build trustworthysystems/camkes-cakeml-rust"
       run: |
-       ./build.sh -e SNAPSHOT_DATE=${SNAPSHOT_DATE} -v -b camkes -s cakeml -s cogent -s rust
+       ./build.sh -e SNAPSHOT_DATE=${SNAPSHOT_DATE} -v -b camkes -s cakeml -s rust
        docker tag trustworthysystems/camkes:latest trustworthysystems/camkes:${TAG}
-       docker tag trustworthysystems/camkes-cakeml-cogent-rust:latest \
-                  trustworthysystems/camkes-cakeml-cogent-rust:${TAG}
+       docker tag trustworthysystems/camkes-cakeml-rust:latest \
+                  trustworthysystems/camkes-cakeml-rust:${TAG}
 
     - name: Authenticate
       if: ${{ github.repository_owner == 'seL4' }}
@@ -71,13 +71,13 @@ jobs:
         docker push trustworthysystems/camkes:${TAG}
         docker tag trustworthysystems/camkes:${TAG} trustworthysystems/camkes:latest
         docker push trustworthysystems/camkes:latest
-    - name: "Push trustworthysystems/camkes-cakeml-cogent-rust"
+    - name: "Push trustworthysystems/camkes-cakeml-rust"
       if: ${{ github.repository_owner == 'seL4' }}
       run: |
-        docker push trustworthysystems/camkes-cakeml-cogent-rust:${TAG}
-        docker tag trustworthysystems/camkes-cakeml-cogent-rust:${TAG} \
-                   trustworthysystems/camkes-cakeml-cogent-rust:latest
-        docker push trustworthysystems/camkes-cakeml-cogent-rust:latest
+        docker push trustworthysystems/camkes-cakeml-rust:${TAG}
+        docker tag trustworthysystems/camkes-cakeml-rust:${TAG} \
+                   trustworthysystems/camkes-cakeml-rust:latest
+        docker push trustworthysystems/camkes-cakeml-rust:latest
 
   build-l4v:
     name: Docker (l4v)

README.md

@@ -131,7 +131,7 @@ Adding dependencies into the `extras.dockerfile` will build them the next time y
 To build the Dockerfiles locally, you will need to use the included `build.sh` script. It has a help menu:
 
     ./build.sh -h
-        build.sh [-r] -b [sel4|camkes|l4v] -s [binary_decomp|cakeml|camkes_vis|cogent|riscv|rust|sysinit|] -s ... -e MAKE_CACHES=no -e ...
+        build.sh [-r] -b [sel4|camkes|l4v] -s [binary_decomp|cakeml|camkes_vis|riscv|rust|sysinit|] -s ... -e MAKE_CACHES=no -e ...
 
          -r     Rebuild docker images (don't use the docker cache)
          -v     Verbose mode

scripts/apply-binary_decomp.sh

@@ -13,7 +13,6 @@ test -d "$DIR" || DIR=$PWD
 # shellcheck source=utils/common.sh
 . "$DIR/utils/common.sh"
 
-# Where will cogent libraries go
 : "${SMTSOLVERS_DIR:=/usr/local/smtsolvers}"
 
 possibly_toggle_apt_snapshot