Add self-hosting and install-api step in base img

Author: joshuanianji

base.Dockerfile

@@ -43,6 +43,14 @@ RUN if [ $IDRIS_VERSION = "latest" ] ; \
 WORKDIR /root/Idris2 
 RUN make bootstrap SCHEME=scheme && make install
 
+# 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: i don't think the install-api transfers to the child images!
+RUN make clean && make all && make install
+RUN make install-api
+
 # these things aren't strictly necessary for a functioning base image, 
 # but they make it possible for us to test the image