Initial commit

Author: adityaakhileshwaran

.github/workflows/unit-test.yml

@@ -24,8 +24,6 @@ jobs:
       - uses: actions/checkout@master
       - name: "Install dependencies"
         run: make install
-      - name: "Install egglog"
-        run: make egglog-herbie
 
       - name: "Test raco fmt compliance"
         run: make fmt && git diff --exit-code

Makefile

@@ -4,7 +4,7 @@ help:
 	@echo "Type 'make install' to install Herbie"
 	@echo "Then type 'racket -l herbie web' to run it."
 
-install: clean egg-herbie update
+install: clean egg-herbie update egglog-herbie
 
 clean:
 	raco pkg remove --force --no-docs herbie && echo "Uninstalled old herbie" || :