Skip to content

Commit

Permalink
Teach BuildPackages.sh how to build simpcomp
Browse files Browse the repository at this point in the history
... by working around missing executable bits, and moving
the bistellar executable into a place where GAP can find it
  • Loading branch information
fingolfin committed Jun 15, 2018
1 parent af8d800 commit 28592e8
Showing 1 changed file with 4 additions and 0 deletions.
4 changes: 4 additions & 0 deletions bin/BuildPackages.sh
Original file line number Diff line number Diff line change
Expand Up @@ -214,6 +214,10 @@ build_one_package() {
;;

simpcomp*)
chmod a+x configure depcomp install-sh missing && \
echo_run ./configure && \
echo_run "$MAKE" && \
mkdir -p bin && test -x bin/bistellar || mv bistellar bin
;;

*)
Expand Down

0 comments on commit 28592e8

Please sign in to comment.