We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
2 parents bc6504d + 2f0a8ae commit 8955c2aCopy full SHA for 8955c2a
testing/completeSourceInEnv.sh
@@ -1,8 +1,3 @@
1
-# do not run on macOS
2
-if [ "$3" == "macOS" ]; then
3
- exit 0
4
-fi
5
-
6
# setup an external venv
7
python3 -m venv dune-env
8
. dune-env/bin/activate
testing/installPlusSource.sh
@@ -1,9 +1,3 @@
base="https://gitlab.dune-project.org"
coreurl="$base/core"
9
femurl="$base/dune-fem"
0 commit comments