Skip to content

Commit

Permalink
Add log groups
Browse files Browse the repository at this point in the history
  • Loading branch information
edmcman committed Sep 6, 2024
1 parent 6c0f228 commit 5bce9b3
Show file tree
Hide file tree
Showing 2 changed files with 10 additions and 0 deletions.
2 changes: 2 additions & 0 deletions scripts/build.bash
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,7 @@ NCPU="${NCPU:-1}"
PREFIX="${PREFIX:-/usr/local}"

# Pharos
echo ::group::Compiling Pharos
cd $DIR/..

sudo ldconfig
Expand All @@ -22,6 +23,7 @@ cmake -GNinja -DCMAKE_INSTALL_PREFIX=$PREFIX -DROSE_ROOT=$PREFIX \
ninja -k $NCPU -j $NCPU || true
ninja -j 1
sudo ninja install
echo ::endgroup::

if [ "$1" = "-reclaim" ]
then
Expand Down
8 changes: 8 additions & 0 deletions scripts/build_prereqs.bash
Original file line number Diff line number Diff line change
Expand Up @@ -10,6 +10,7 @@ PREFIX="${PREFIX:-/usr/local}"
# BOOST
if [ "$COMPILE_BOOST" != "" ]
then
echo ::group::Compiling Boost
test -d boost && sudo rm -rf boost
mkdir boost
cd boost
Expand All @@ -20,9 +21,11 @@ then
./bootstrap.sh --prefix=$PREFIX --with-libraries=system,serialization,chrono,timer,iostreams,thread,date_time,random,regex,program_options,filesystem,wave
sudo ./b2 cxxflags="$CXXFLAGS" linkflags="$LDFLAGS" -j $NCPU toolset=gcc install
test "$1" = "-reclaim" && sudo rm -rf $DIR/boost
echo ::endgroup::
fi

# SWI
echo ::group::Compiling SWI Prolog
cd $DIR
test -d swipl-devel && rm -rf swipl-devel
git clone --recursive -b V8.5.12 --depth 1 https://github.com/swi-prolog/swipl-devel
Expand All @@ -33,8 +36,10 @@ cmake -G Ninja -DCMAKE_INSTALL_PREFIX=$PREFIX -DINSTALL_DOCUMENTATION=off ..
ninja -v -j $NCPU
sudo ninja -j $NCPU install
test "$1" = "-reclaim" && rm -rf $DIR/swipl-devel
echo ::endgroup::

# Z3
echo ::group::Compiling Z3
cd $DIR
test -d z3 && rm -rf z3

Expand All @@ -46,8 +51,10 @@ cmake -G Ninja -DCMAKE_INSTALL_PREFIX=$PREFIX -DCMAKE_RULE_MESSAGES=off ..
ninja -v -j $NCPU
sudo ninja -j $NCPU install
test "$1" = "-reclaim" && rm -rf $DIR/z3
echo ::endgroup::

# ROSE
echo ::group::Compiling ROSE
cd $DIR
test -d rose && rm -rf rose

Expand All @@ -73,5 +80,6 @@ ninja -v -k $NCPU -j $NCPU || true
ninja -v -j1
sudo ninja -j $NCPU install
test "$1" = "-reclaim" && rm -rf $DIR/rose $DIR/rose-build
echo ::endgroup::

exit 0

0 comments on commit 5bce9b3

Please sign in to comment.