2021-08-21 17:28:22 +08:00
|
|
|
ROOT=$PWD
|
2022-04-14 23:13:17 +08:00
|
|
|
|
|
|
|
|
cp config/pika_config_default.h config/pika_config.h
|
|
|
|
|
|
2021-10-01 09:06:17 +08:00
|
|
|
# git submodule init
|
|
|
|
|
# git submodule update
|
2022-01-26 23:23:08 +08:00
|
|
|
git config --unset-all core.filemode
|
2022-01-26 16:27:17 +08:00
|
|
|
git config --add core.filemode false
|
2021-11-13 09:54:24 +08:00
|
|
|
chmod +x *.sh
|
2021-08-24 10:50:59 +08:00
|
|
|
sh update-compiler.sh
|
2022-01-04 02:24:59 +08:00
|
|
|
chmod +x package/pikascript/rust-msc-latest-linux
|
2021-10-01 09:06:17 +08:00
|
|
|
rm package/pikascript/pikascript-api -rf
|
|
|
|
|
mkdir package/pikascript/pikascript-api
|
|
|
|
|
touch package/pikascript/pikascript-api/path
|
|
|
|
|
cd package/pikascript/pikascript-core
|
|
|
|
|
# git checkout master
|
2021-08-21 17:28:22 +08:00
|
|
|
cd $ROOT
|
2021-08-21 17:21:54 +08:00
|
|
|
rm build -rf
|
2021-08-21 16:55:09 +08:00
|
|
|
mkdir build
|
2021-08-23 18:42:41 +08:00
|
|
|
sh api-make.sh
|
2021-08-21 16:55:09 +08:00
|
|
|
cd build
|
2022-04-14 18:31:54 +08:00
|
|
|
cmake -G Ninja -DCMAKE_BUILD_TYPE=Debug -DPIKA_CONFIG_ENABLE=ON ..
|
2022-01-04 16:31:01 +08:00
|
|
|
|
|
|
|
|
cd $ROOT
|
|
|
|
|
rm Release -rf
|
|
|
|
|
mkdir Release
|
|
|
|
|
cd Release
|
2022-04-08 11:25:23 +08:00
|
|
|
cmake -G Ninja -DCMAKE_BUILD_TYPE=Release -DPIKA_CONFIG_ENABLE=ON ..
|
2022-01-04 16:31:01 +08:00
|
|
|
|
2021-08-21 17:28:22 +08:00
|
|
|
cd $ROOT
|
