mirror of
https://github.com/RGBCube/serenity
synced 2025-07-27 12:17:44 +00:00
Ports: Support pre_configure script
This is useful if we want to do something after patching but before running the configure script - e.g. creating the configure script using another script :^)
This commit is contained in:
parent
6b513ca97e
commit
7feb48b1da
1 changed files with 4 additions and 0 deletions
|
@ -144,6 +144,9 @@ func_defined patch_internal || patch_internal() {
|
||||||
done
|
done
|
||||||
fi
|
fi
|
||||||
}
|
}
|
||||||
|
func_defined pre_configure || pre_configure() {
|
||||||
|
:
|
||||||
|
}
|
||||||
func_defined configure || configure() {
|
func_defined configure || configure() {
|
||||||
run ./"$configscript" --host=i686-pc-serenity $configopts
|
run ./"$configscript" --host=i686-pc-serenity $configopts
|
||||||
}
|
}
|
||||||
|
@ -242,6 +245,7 @@ do_patch() {
|
||||||
do_configure() {
|
do_configure() {
|
||||||
if [ "$useconfigure" = "true" ]; then
|
if [ "$useconfigure" = "true" ]; then
|
||||||
echo "Configuring $port!"
|
echo "Configuring $port!"
|
||||||
|
pre_configure
|
||||||
chmod +x "${workdir}"/"$configscript"
|
chmod +x "${workdir}"/"$configscript"
|
||||||
configure
|
configure
|
||||||
else
|
else
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue