steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

build-support/factor.sh: allow user to specify NO_UI

db4
Alec Berryman 2009-12-02 10:34:37 -06:00 committed by Slava Pestov
parent 6266b41325
commit 90422d8835
1 changed files with 6 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
build-support/factor.sh
View File

@ -11,7 +11,7 @@ ECHO=echo
OS= OS=
ARCH= ARCH=
WORD= WORD=
NO_UI= NO_UI=${NO_UI-}
GIT_PROTOCOL=${GIT_PROTOCOL:="git"} GIT_PROTOCOL=${GIT_PROTOCOL:="git"}
GIT_URL=${GIT_URL:=$GIT_PROTOCOL"://factorcode.org/git/factor.git"} GIT_URL=${GIT_URL:=$GIT_PROTOCOL"://factorcode.org/git/factor.git"}
SCRIPT_ARGS="$*" SCRIPT_ARGS="$*"
@ -132,9 +132,11 @@ check_library_exists() {
} }
check_X11_libraries() { check_X11_libraries() {
check_library_exists GL if [ -z "$NO_UI" ]; then
check_library_exists X11 check_library_exists GL
check_library_exists pango-1.0 check_library_exists X11
check_library_exists pango-1.0
fi
} }
check_libraries() { check_libraries() {