Try to install class on Github

hersle · Oct 11, 2024 · d8d4d79 · d8d4d79
1 parent cb91f85
commit d8d4d79
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 2 deletions.
diff --git a/.github/workflows/ContinuousIntegration.yml b/.github/workflows/ContinuousIntegration.yml
@@ -53,7 +53,12 @@ jobs:
       - name: Clone and build CLASS
         run: |
           git clone --depth 1 https://github.com/lesgourg/class_public
+          echo "\$HOME = $HOME"
+          echo "\$PATH = $PATH"
           make --directory class_public class
+          mkdir -p $HOME/.local/bin/
+          ln -s $PWD/class_public/class $HOME/.local/bin/
+          class
       - name: Configure doc environment
         shell: julia --project=docs --color=yes {0}
         run: |

diff --git a/docs/src/comparison.md b/docs/src/comparison.md
@@ -21,9 +21,13 @@ run(`cc --version`)
 ```
 
 ```@example class
-isdir("class_public")
+pwd()
 ```
 
 ```@example class
-isfile("class_public/class")
+isdir("../../class_public")
+```
+
+```@example class
+isfile("../../class_public/class")
 ```