Clone a86 and langs rather than use raco to install them as deps.

cmsc430 · Oct 17, 2024 · c3b06cc · c3b06cc
1 parent d1e6001
commit c3b06cc
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
@@ -21,10 +21,13 @@ jobs:
         distribution: 'full'
         variant: 'CS'
         version: '8.14'
+    - name: Install a86 and langs package
+      run: raco pkg install 'https://github.com/cmsc430/a86.git?path=langs#main'
+      run: raco pkg install 'https://github.com/cmsc430/langs.git?path=langs#main'
     - name: Build and test
       run: |
         export LINK_DIR=/usr/lib/x86_64-linux-gnu
-        raco pkg install --auto www/
+        # raco pkg install --auto www/
         raco make www/main.scrbl
         make -C www main
     - name: Archive www