Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Daniel Liew
klee-cl
Commits
7c1a4461
Commit
7c1a4461
authored
Oct 08, 2013
by
Daniel Liew
Browse files
Fix typos in autobuild script.
parent
a5a00344
Changes
1
Hide whitespace changes
Inline
Side-by-side
scripts/autobuild.sh
View file @
7c1a4461
...
...
@@ -11,7 +11,7 @@ function die() {
function
usage
()
{
echo
"USAGE:"
echo
"
$0
<path>
[ -j N | --jobs N ] [ -d | --debug ]"
echo
"
$0
[ -j N | --jobs N ] [ -d | --debug ]
<path>
"
echo
"
$0
-h|--help"
echo
""
echo
"This script fetches KLEE-CL and its dependencies and compiles everything."
...
...
@@ -101,7 +101,7 @@ patch -p1 -i "${KLEE_CL_ROOT}/src/patches/llvm-build-python.patch" || die
cd
"
${
LLVM_ROOT
}
/src/tools/clang"
||
die
patch
-p1
-i
"
${
KLEE_CL_ROOT
}
/src/patches/clang-Define-the-KLEE-OpenCL-target.patch"
||
die
#Get compiler
s
-rt
#Get compiler-rt
cd
"
${
LLVM_ROOT
}
/src/projects"
||
die
svn co
-r
${
LLVM_CLANG_REVISION
}
http://llvm.org/svn/llvm-project/compiler-rt/trunk compiler-rt
||
die
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment