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.
1 parent 0d95374 commit 423f6c2Copy full SHA for 423f6c2
Makefile
@@ -7,6 +7,7 @@ help:
7
install: clean egglog update
8
9
clean:
10
+ rustup update
11
raco pkg remove --force herbie && echo "Uninstalled old herbie" || :
12
13
update:
infra/nightly.sh
@@ -3,9 +3,6 @@
3
# exit immediately upon first error
4
set -e -x
5
6
-# do a rustup update
-rustup update
-
# lowered number of cores from 6 to 4 to avoid pagetable error
# caused by heavy use of FFI by eggmath.rkt
CORES=4
0 commit comments