Merge pull request #64 from joshuanianji/idris-api

Install Idris API

Author: joshuanianji

.github/workflows/build-test-deploy.yml

@@ -70,9 +70,22 @@ jobs:
           dockerfile: base
           repo: ${{ github.repository }}
 
-      - name: Run Test 
+      - name: Setup Bats and Bats libs
+        uses: brokenpip3/[email protected]
+        with:
+          bats-version: '1.8.2'
+          support-version: 0.3.0
+          assert-version: 2.1.0
+          file-install: false
+          detik-install: false
+  
+      # LIB_PATH is a env var I use in the setup() function of my bats tests
+      # it points to the folder containing bats-assert and bats-support
+      - name: Run Test
         run: |
-          docker run ${{ env.TAG }} /bin/bash -c "make clean; make all && make install"
+          export LIB_PATH=/usr/lib/
+          export DOCKER_IMAGE=${{ env.TAG }}
+          bats tests/base.bats
 
   base-test-2:
     name: Test 2 Base - ${{ matrix.idris-version }}
@@ -97,7 +110,7 @@ jobs:
 
       - name: Run Test
         run: |
-          docker run ${{ env.TAG }} /bin/bash -c "make clean; make all; make test"
+          docker run ${{ env.TAG }} /bin/bash -c "make test"
 
   # it would be nice to make the if conditional in the top level of the job,
   # but since devcontainer-build depends on this, we need this to run on a PR success as well

base.Dockerfile

@@ -43,10 +43,15 @@ RUN if [ $IDRIS_VERSION = "latest" ] ; \
 WORKDIR /root/Idris2 
 RUN make bootstrap SCHEME=scheme && make install
 
-# these things aren't strictly necessary for a functioning base image, 
-# but they make it possible for us to test the image 
-
 # add idris2 to path
 ENV PATH="/root/.idris2/bin:${PATH}"
 # add idris lib to LD_LIBRARY_PATH
 ENV LD_LIBRARY_PATH="/root/.idris2/lib:${LD_LIBRARY_PATH}"
+
+# self-hosting (needed for Idris2 API)
+# in my experience, the Idris2 API seems to still work without the self-hosting step
+# At least, it builds the idris2-python correctly (although i haven't checked anything else)
+# to be safe, I'll do this step anyway
+# NOTE: not sure if the install-api transfers to the child images
+RUN make clean && make all && make install
+RUN make install-api

tests/base.bats

@@ -0,0 +1,31 @@
+# Consumer idris
+# Tests the idris installation inside the "consumer" images - Ubuntu and Debian
+
+function setup() {
+    # Assumes the BATS_TEST_FILENAME is always one layer deep inside tests/
+    # not a very good assumption! But i'm not going to be using bats much right now...
+    DIR="$( dirname $( dirname "$BATS_TEST_FILENAME" ) )"
+
+    # by default, look in tests/test_helper
+    if [[ -z "${LIB_PATH}" ]]; then
+        LIB_PATH="$DIR/tests/test_helper"
+    fi
+    
+    load "$LIB_PATH/bats-support/load"
+    load "$LIB_PATH/bats-assert/load"
+}
+
+@test "Test location of Idris binary" {
+    # note that the consumer images have an entrypoint of the "idris2" binary
+    run docker run --entrypoint /bin/bash $DOCKER_IMAGE which idris2
+    assert_output --partial '/root/.idris2/bin/idris2'
+}
+
+@test "Test install-api" {
+    # make sure `install-api` is installed correctly 
+    # by building idris2-python module
+
+    # run contents of tests/build-idris2-python.sh in the image
+    run docker run -i --entrypoint /bin/bash $DOCKER_IMAGE < tests/build-idris2-python.sh
+    refute_output --partial "required idris2 any but no matching version is installed"
+}

tests/build-idris2-python.sh

@@ -0,0 +1,3 @@
+git clone https://github.com/madman-bob/idris2-python.git
+cd idris2-python
+make install