Check all files in travis.ci script

.gitignore

@@ -1 +1,2 @@
 *.agdai
+index.agda

.travis.yml

@@ -8,8 +8,5 @@ services:
 before_install:
 - docker pull scottfleischman/agda:2.5.2
 
-env:
-- AGDA_FILE="src/API/Theorems.agda"
-
 script:
-- docker run -v $TRAVIS_BUILD_DIR:/opt/agda-build scottfleischman/agda:2.5.2 /bin/sh -c 'cd /opt/agda-build; agda '$AGDA_FILE
+- docker run -v $TRAVIS_BUILD_DIR:/opt/agda-build scottfleischman/agda:2.5.2 /bin/sh -c 'cd /opt/agda-build; ./index.sh; agda -i . -i src/ index.agda'

index.sh

@@ -0,0 +1,5 @@
+rm -rf index.agda;
+echo "module index where" >> index.agda;
+for i in $( find src -name "*.agda" | sed 's/src\/\(.*\)\.agda/\1/' | sed 's/\//\./g' | sort ); do
+    echo "import $i" >> index.agda;
+done