A couple of minor fixes

- `--strip_components` flag to `tar` seems more portable when placed
  before the file argument
- use latest available GCC and avoid a couple of warnings about
  mismatching signedness of expected/actual arguments

.github/workflows/pure.yml

@@ -41,7 +41,7 @@ jobs:
     - name: Get build-essentials
       run: |
         apt update
-        apt install -y git build-essential gcc-10 libffi-dev wget mlton
+        apt install -y git build-essential gcc libffi-dev wget mlton
 
     - name: Checkout Poly/ML
       uses: actions/checkout@v4

examples/Makefile

@@ -42,7 +42,7 @@ download:
 
 lib/cake.S:
 	wget -q https://github.com/cakeml/cakeml/releases/latest/download/cake-x64-64.tar.gz
-	@tar -zxf cake-x64-64.tar.gz --directory $(@D) cake-x64-64/$(@F) --strip-components 1
+	@tar -zxf cake-x64-64.tar.gz --directory $(@D) --strip-components 1 cake-x64-64/$(@F)
 	@rm cake-x64-64.tar.gz
 
 clean:

examples/lib/basis_ffi.c

@@ -489,7 +489,7 @@ void ffistdout (unsigned char *c, long clen, unsigned char *a, long alen) {
     a[1] = 0;
 }
 
-void write_ret_string(unsigned char *a, long alen, unsigned char *str) {
+void write_ret_string(unsigned char *a, long alen, char *str) {
     int length = strlen(str);
     if (length < 256 * 256 && length <= alen) {
         a[0] = length % 256;