mirror of
https://github.com/urbit/shrub.git
synced 2025-01-08 22:18:12 +03:00
10 lines
138 B
Bash
10 lines
138 B
Bash
|
source $setup
|
||
|
|
|
||
|
|
tar -xf $src
|
||
|
|
|
||
|
|
mkdir build
|
||
|
|
cd build
|
||
|
|
../gmp-$version/configure --host=$host --prefix=$out --disable-shared
|
||
|
|
make
|
||
|
|
make install
|