diff --git a/.github/workflows/ContinuousIntegration.yml b/.github/workflows/ContinuousIntegration.yml index 625a8793..d00c7a5d 100644 --- 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 index e32ca1d9..811e3d93 100644 --- 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") ```