Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
What's new
10
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Open sidebar
AVA
FloVer
Commits
ddafa605
Commit
ddafa605
authored
Apr 24, 2018
by
Heiko Becker
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
Next iteration on ci script
parent
fb68d0ce
Changes
1
Hide whitespace changes
Inline
Side-by-side
Showing
1 changed file
with
6 additions
and
14 deletions
+6
-14
scripts/ci-hol4.sh
scripts/ci-hol4.sh
+6
-14
No files found.
scripts/ci-hol4.sh
View file @
ddafa605
...
...
@@ -8,31 +8,23 @@ then
sleep
5
#Set HOL4 commit variable
HOLCOMMIT
=
"
$(
cat
./.HOLCOMMIT
)
"
pushd
HOLCOMMIT
=
"
$(
cat
./
hol4/
.HOLCOMMIT
)
"
pushd
./
cd
~/
git clone https://github.com/HOL-Theorem-Prover/HOL.git HOL4
cd
HOL4
git checkout
$HOLCOMMIT
poly < tools/smart-configure.sml
bin/build
export
HOLDIR
=
~/HOL4/
popd
fi
cd
./hol4
#Run configure script to check the versions
./configure_hol.sh
RET
=
$?
if
[
$RET
-eq
1
]
;
then
echo
"Updating HOL4 to the latest state specified in HOLCOMMIT"
./configure_hol.sh
--init
else
echo
"Downloading CakeML"
git submodule init cakeml
git submodule update
-f
cakeml
fi
echo
"Downloading CakeML"
git submodule init cakeml
git submodule update
-f
cakeml
$HOLDIR
/bin/Holmake
-q
...
...
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