Add CI build

Author: AranVink

.github/workflows/docker-gcctimer-build.yml

@@ -0,0 +1,50 @@
+name: GCCTimer CI
+
+on:
+  - push
+  - pull_request
+  - workflow_dispatch
+
+jobs:
+  build:
+    strategy:
+      matrix:
+        os: [ubuntu-latest]
+        gcc_compiler: [12.2.0]
+
+      fail-fast: false
+
+    runs-on: ${{matrix.os}}
+
+    steps:
+        - name: Checkout gcctimer
+          uses: actions/checkout@v4
+          with:
+            path: gcctimer
+        - name: Install Linux packages
+          run: |
+            sudo apt update
+            sudo apt install -y texlive-latex-base texinfo libfl2 libfl-dev bison flex curl make texinfo zlib1g-dev unzip wget bzip2 zip git bash automake libtool pkg-config upx
+            # Flex is required, but even though it's in the GitHub runner image, and marked as installed
+            # it's still missing some things, see https://github.com/orgs/community/discussions/45029
+   
+            if [[ ${{ matrix.gcc_compiler }} == "12.2.0" ]]; then
+              wget https://github.com/andrewwutw/build-djgpp/releases/download/v3.4/djgpp-linux64-gcc1220.tar.bz2
+              bzcat djgpp-linux64-gcc1220.tar.bz2 | sudo tar -x --directory /usr/local
+            else
+              echo 'Unsupported version of GCC/DJGPP'
+              exit 1
+            fi
+   
+        - name: Set DJGPP environment
+          run: |
+            echo 'compile_opts=--host=i586-pc-msdosdjgpp --prefix=/usr/local/djgpp PKG_CONFIG_PATH=/usr/local/djgpp/lib/pkgconfig' >> $GITHUB_ENV
+            echo '/usr/local/djgpp/bin/' >> $GITHUB_PATH
+        
+        - name: Install gcctimer
+          run: |
+            source /usr/local/djgpp/setenv
+            pushd gcctimer
+            make CC=gcc prefix=/usr/local/djgpp RANLIB=ranlib
+            sudo env PATH="$PATH" make CC=gcc prefix=/usr/local/djgpp install
+            popd