From 0c2500758e8e81b6e0d11ec02a36b9db1478906f Mon Sep 17 00:00:00 2001 From: malc Date: Wed, 22 Apr 2020 22:20:32 +0300 Subject: [PATCH] Robustify --- build.bash | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/build.bash b/build.bash index 8faffea..eb1a400 100755 --- a/build.bash +++ b/build.bash @@ -104,14 +104,16 @@ test "$overs" = "4.10.0" || { } && vecho "fresh $txz" absprefix=$(cd $outd &>/dev/null; pwd -P) export PATH=$absprefix/bin:$PATH - isfresh $absprefix/bin/ocamlc "$url" || ( + ocamlc=$absprefix/bin/ocamlc + keycmd="echo $url; digest $ocamlc;" + isfresh $ocamlc "$(eval $keycmd)" || ( tar xf $txz -C $outd bn=$(basename $url) cd $outd/${bn%.tar.xz} ./configure --disable-ocamldoc --enable-debugger=no --prefix=$absprefix make -j $mjobs world make install - echo "$url" >$absprefix/bin/ocamlc.past + eval $keycmd >$absprefix/bin/ocamlc.past ) && vecho "fresh ocamlc" overs=$(ocamlc -vnum 2>/dev/null) } -- 2.11.4.GIT