mirror of
https://gitlab.redox-os.org/redox-os/redox.git
synced 2026-06-22 04:44:19 +08:00
Fix building of libstd
This commit is contained in:
parent
0c6941af48
commit
d2f5588d92
1
.gitignore
vendored
Normal file
1
.gitignore
vendored
Normal file
@ -0,0 +1 @@
|
||||
build
|
||||
45
cook.sh
Executable file
45
cook.sh
Executable file
@ -0,0 +1,45 @@
|
||||
export RUST_TARGET_PATH=`realpath targets`
|
||||
export RUSTFLAGS="--cfg redox"
|
||||
TARGET=x86_64-unknown-redox
|
||||
|
||||
set -e
|
||||
|
||||
if [ -n "$1" ]
|
||||
then
|
||||
if [ -d "recipes/$1" ]
|
||||
then
|
||||
pushd "recipes/$1"
|
||||
source recipe.sh
|
||||
case "$2" in
|
||||
build)
|
||||
pushd build
|
||||
xargo build --target "$TARGET"
|
||||
popd
|
||||
;;
|
||||
clean)
|
||||
pushd build
|
||||
xargo clean
|
||||
popd
|
||||
;;
|
||||
fetch)
|
||||
git clone --recursive "$GIT" build
|
||||
;;
|
||||
unfetch)
|
||||
rm -rf build
|
||||
;;
|
||||
update)
|
||||
pushd build
|
||||
xargo update
|
||||
popd
|
||||
;;
|
||||
*)
|
||||
echo "$0 {package} {build|clean|fetch|update}"
|
||||
;;
|
||||
esac
|
||||
popd
|
||||
else
|
||||
echo "$0: recipe '$1' not found"
|
||||
fi
|
||||
else
|
||||
echo "$0 {package} {build|clean|fetch|update}"
|
||||
fi
|
||||
1
recipes/libstd/recipe.sh
Normal file
1
recipes/libstd/recipe.sh
Normal file
@ -0,0 +1 @@
|
||||
GIT=https://github.com/redox-os/libstd.git
|
||||
1
recipes/smith/recipe.sh
Executable file
1
recipes/smith/recipe.sh
Executable file
@ -0,0 +1 @@
|
||||
GIT=https://github.com/IGI-111/Smith.git
|
||||
Loading…
Reference in New Issue
Block a user