equal
deleted
inserted
replaced
10 |
10 |
11 pacman -Syu |
11 pacman -Syu |
12 |
12 |
13 pacman -Su |
13 pacman -Su |
14 |
14 |
15 pacman -S --needed base-devel gmp-devel mingw-w64-x86_64-toolchain mingw-w64-x86_64-gmp |
15 pacman -S --needed base-devel gmp-devel mingw-w64-x86_64-toolchain mingw-w64-x86_64-gmp mingw-w64-x86_64-lapack mingw-w64-x86_64-openblas |
16 |
16 |
17 - build (as regular user) e.g. on vmnipkow9 with Cygwin-Terminal from Isabelle2018 |
17 - build (as regular user) e.g. on vmnipkow9 with Cygwin-Terminal from Isabelle2018 |
18 (to avoid address relocation problems): |
18 (to avoid address relocation problems): |
19 |
19 |
20 isabelle build_polyml -M /cygdrive/c/msys64 -m32 -s sha1 src |
20 isabelle build_polyml -M /cygdrive/c/msys64 -m32 -s sha1 src |