-
Notifications
You must be signed in to change notification settings - Fork 36
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Update version numbers etc for v3.4.2
- Loading branch information
1 parent
225b0a3
commit 7fcd59b
Showing
8 changed files
with
132 additions
and
11 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1 +1 @@ | ||
3.4.1 | ||
3.4.2 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,116 @@ | ||
#!/bin/bash | ||
# This script is intended to be run by the release-gap-package script which is | ||
# part of the the ReleaseTools for GAP: | ||
# | ||
# https://github.com/gap-system/ReleaseTools/ | ||
|
||
set -e | ||
|
||
# ensure we are in the same directory as this script | ||
cd "$(dirname "${BASH_SOURCE[0]}")" | ||
|
||
notice_it() { | ||
printf '\033[93m%s\033[0m\n' "$*" | ||
} | ||
|
||
error() { | ||
printf '\033[31mERROR: %s\033[0m\n' "$*" | ||
exit 1 | ||
} | ||
|
||
run_gap() { | ||
gap_output=$( \ | ||
(echo 'OnBreak:=function() Print("FATAL ERROR"); FORCE_QUIT_GAP(1); end;;' ; cat - ; echo ; echo "FORCE_QUIT_GAP(0);") \ | ||
| $GAP -A -q -b 2>&1 \ | ||
| tr -d '\r' ) | ||
mkdir -p "$TMP_DIR" | ||
echo "$gap_output" > "$TMP_DIR/gap-error.log" | ||
if echo "$gap_output" | grep -q '\(Error\|FATAL ERROR\|Syntax \)' ; then | ||
error "there was an error running GAP, see $TMP_DIR/gap-error.log" | ||
fi | ||
} | ||
|
||
notice_it "Running Semigroup package .release script" | ||
|
||
# Delete unnecessary files | ||
|
||
notice_it "Deleting additional unnecessary files" | ||
|
||
rm -f .covignore | ||
rm -f .codecov.yml | ||
rm -f .gaplint.yml | ||
rm -f azure-pipelines.yml | ||
|
||
rm -rf ci | ||
rm -rf etc | ||
|
||
|
||
# download libsemigroups | ||
SEMI_DIR="$PWD" | ||
LIBS_DIR="$SEMI_DIR/libsemigroups" | ||
|
||
# Get libsemigroups version from file | ||
if [ -f "$SEMI_DIR/.LIBSEMIGROUPS_VERSION" ]; then | ||
VERS=`tr -d '\n' < $SEMI_DIR/.LIBSEMIGROUPS_VERSION` | ||
else | ||
notice_it "Error, cannot find $SEMI_DIR/.LIBSEMIGROUPS_VERSION" | ||
exit 1 | ||
fi | ||
|
||
notice_it "libsemigroups v$VERS is required by this version of Semigroups" | ||
|
||
if [ -d "$LIBS_DIR" ] && [ "$(ls -A $LIBS_DIR)" ]; then | ||
notice_it "the libsemigroups directory exists and is non-empty" | ||
exit 1 | ||
fi | ||
|
||
# Download libsemigroups | ||
notice_it "Downloading libsemigroups v$VERS into $LIBS_DIR..." | ||
curl -L -O "https://github.com/libsemigroups/libsemigroups/releases/download/v$VERS/libsemigroups-$VERS.tar.gz" | ||
tar -xzf "libsemigroups-$VERS.tar.gz" && rm -f "libsemigroups-$VERS.tar.gz" && mv "libsemigroups-$VERS" "$LIBS_DIR" | ||
|
||
# Build the package because it must be loadable for the doc to be compiled (for | ||
# some reason) | ||
|
||
notice_it "Building the Semigroups package" | ||
|
||
./autogen.sh | ||
./configure --with-gaproot=/Users/jdm/gap CXX="ccache g++" CXXFLAGS="-fdiagnostics-color" | ||
make -j8 | ||
|
||
notice_it "Building Semigroups package documentation for archives (using makedoc.g)" | ||
|
||
run_gap <<GAPInput | ||
LogTo("makedoc.log"); | ||
if not IsPackageMarkedForLoading("$PKG", "") then | ||
SetPackagePath("$PKG", "."); | ||
fi; | ||
PushOptions(rec(relativePath:="../../..")); | ||
Read("makedoc.g"); | ||
GAPInput | ||
rm -f doc/*.lab doc/*.tex | ||
rm -f doc/*.aux doc/*.bbl doc/*.blg doc/*.brf doc/*.idx doc/*.ilg doc/*.ind doc/*.log doc/*.out doc/*.pnr doc/*.tst | ||
|
||
! grep -E "WARNING: non resolved reference" makedoc.log | ||
rm -f makedoc.log | ||
make distclean | ||
|
||
# The next line stop release-gap-package from trying to rebuild the doc | ||
# Ideally the makedoc.g file would be included in the distro anyway | ||
rm -f makedoc.g | ||
|
||
notice_it "Fixing the links in the documentation" | ||
for f in ./*/*.htm* ; do | ||
sed 's;href="/.*digraphs-.*/doc;href="https://digraphs.github.io/Digraphs/doc/;g' "$f" > "$f.bak" | ||
mv "$f.bak" "$f" | ||
sed 's;href="/.*io-.*/doc;href="https://gap-packages.github.io/io/doc/;g' "$f" > "$f.bak" | ||
mv "$f.bak" "$f" | ||
sed 's;href="/.*smallsemi-.*/doc;href="https://gap-packages.github.io/smallsemi/doc/;g' "$f" > "$f.bak" | ||
mv "$f.bak" "$f" | ||
sed 's;href="/.*images-.*/doc;href="https://gap-packages.github.io/images/doc/;g' "$f" > "$f.bak" | ||
mv "$f.bak" "$f" | ||
sed 's;href="/.*GAPDoc-.*/doc;href="http://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc/doc/;g' "$f" > "$f.bak" | ||
mv "$f.bak" "$f" | ||
done | ||
|
||
notice_it "Finished running Semigroup package .release script!!!" |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters