Skip to content
This repository has been archived by the owner on Jan 30, 2023. It is now read-only.

Commit

Permalink
Merge branch 'develop' into S_unit
Browse files Browse the repository at this point in the history
  • Loading branch information
JohnCremona committed Feb 4, 2016
2 parents 64b0e74 + 2505dbc commit b1709e9
Show file tree
Hide file tree
Showing 348 changed files with 23,806 additions and 3,206 deletions.
2 changes: 1 addition & 1 deletion VERSION.txt
@@ -1 +1 @@
Sage version 7.0, released 2016-01-19
Sage version 7.1.beta1, released 2016-01-28
5 changes: 1 addition & 4 deletions build/pkgs/cliquer/SPKG.txt
Expand Up @@ -16,7 +16,4 @@ http://users.tkk.fi/pat/cliquer.html
* None

== Patches ==
* Makefile.patch: Patch the Makefile for Sage. Remove hardcoded
compiler and linker flags, allow flags to be set from spkg-install.
More importantly, we're building cliquer as a dynamic shared library,
instead of a stand-alone program.
* autotoolized - see https://github.com/dimpase/autocliquer
8 changes: 4 additions & 4 deletions build/pkgs/cliquer/checksums.ini
@@ -1,4 +1,4 @@
tarball=cliquer-VERSION.tar.bz2
sha1=8239530eb14c1273c32ffcf3b671dd3766084374
md5=32b97b6689318b58d9c099e2c7769521
cksum=3641271864
tarball=cliquer-VERSION.tar.gz
sha1=930ec79f64facb8ac4035a3e3702ed2b1dabd092
md5=1d985e0bed876cc69aed43953a814a6a
cksum=766312376
2 changes: 1 addition & 1 deletion build/pkgs/cliquer/package-version.txt
@@ -1 +1 @@
1.21.p2
1.21.p3
46 changes: 0 additions & 46 deletions build/pkgs/cliquer/patches/Makefile.patch

This file was deleted.

37 changes: 10 additions & 27 deletions build/pkgs/cliquer/spkg-check
@@ -1,35 +1,18 @@
#!/usr/bin/env bash

if [ "$SAGE_LOCAL" = "" ]; then
echo "SAGE_LOCAL undefined ... exiting";
echo "Maybe run 'sage -sh'?"
if [ -z "$SAGE_LOCAL" ]; then
echo >&2 "Error: SAGE_LOCAL undefined - exiting..."
echo >&2 "Maybe run 'sage -sh'?"
exit 1
fi

OPTIMIZATION_FLAGS="-O3 -funroll-loops -fomit-frame-pointer"
# Work around a bug in gcc 4.6.0: http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48774
if [ "`testcc.sh $CC`" = GCC ] ; then
if $CC -dumpversion 2>/dev/null |grep >/dev/null '^4\.6\.[01]' ; then
echo "Warning: Working around bug in gcc 4.6.0"
OPTIMIZATION_FLAGS="$OPTIMIZATION_FLAGS -fno-ivopts"
fi
fi

CFLAGS="$CFLAGS `testcflags.sh -g $OPTIMIZATION_FLAGS -fPIC -KPIC -Wall`"
CPPFLAGS="$CPPFLAGS -I$SAGE_LOCAL/include"
LDFLAGS="$LDFLAGS -L$SAGE_LOCAL/lib"
cd src

# Compile for 64-bit if SAGE64 is set to 'yes'.
# On 64-bit hardware, we don't need to set this variable to true. A
# 64-bit cliquer library would be built on such platform.
if [ "$SAGE64" = yes ]; then
CFLAGS="$CFLAGS -m64 "
LDFLAGS="$LDFLAGS -m64 "
echo "Now building and running cliquer's test suite..."
$MAKE check
if [ $? -ne 0 ]; then
echo >&2 "Error: The cliquer's test suite failed."
exit 1
fi

# Export everything
export CFLAGS
export CPPFLAGS
export LDFLAGS

cd src && $MAKE test
echo "The cliquer's test suite passed successfully."
63 changes: 14 additions & 49 deletions build/pkgs/cliquer/spkg-install
@@ -1,43 +1,14 @@
#!/usr/bin/env bash

OPTIMIZATION_FLAGS="-O3 -funroll-loops -fomit-frame-pointer"
# Work around a bug in gcc 4.6.0: http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48774
if [ "`testcc.sh $CC`" = GCC ] ; then
if $CC -dumpversion 2>/dev/null |grep >/dev/null '^4\.6\.[01]' ; then
echo "Warning: Working around bug in gcc 4.6.0"
OPTIMIZATION_FLAGS="$OPTIMIZATION_FLAGS -fno-ivopts"
fi
fi

CFLAGS="$CFLAGS `testcflags.sh -g $OPTIMIZATION_FLAGS -fPIC -KPIC -Wall`"
CPPFLAGS="$CPPFLAGS -I$SAGE_LOCAL/include"

# Compile for 64-bit if SAGE64 is set to 'yes'.
# On 64-bit hardware, we don't need to set this variable to true. A
# 64-bit cliquer library would be built on such platform.
if [ "$SAGE64" = yes ]; then
echo "Building a 64-bit version of cliquer"
CFLAGS="$CFLAGS -m64 "
LDFLAGS="$LDFLAGS -m64 "
fi

# Flags for building a dynamically linked shared object.
if [ "$UNAME" = "Darwin" ]; then
SAGESOFLAGS="-dynamiclib -single_module -flat_namespace -undefined dynamic_lookup"
elif [ "$UNAME" = "SunOS" ]; then
SAGESOFLAGS="-shared -Wl,-h,libcliquer.so -Wl,-ztext"
else
SAGESOFLAGS="-shared -Wl,-soname,libcliquer.so"
if [ -z "$SAGE_LOCAL" ]; then
echo >&2 "SAGE_LOCAL undefined - exiting..."
echo >&2 "Maybe run 'sage -sh'?"
exit 1
fi

# Export everything
export CFLAGS
export CPPFLAGS
export LDFLAGS
export SAGESOFLAGS

cd src

echo "Applying patches..."
# Apply all patches
for patch in ../patches/*.patch; do
[ -r "$patch" ] || continue # Skip non-existing or non-readable patches
Expand All @@ -49,22 +20,16 @@ for patch in ../patches/*.patch; do
fi
done

$MAKE
echo "Configuring..."
./configure --prefix="$SAGE_LOCAL" --disable-static --libdir="$SAGE_LOCAL/lib"
if [ $? -ne 0 ]; then
echo >&2 "Failed to compile cliquer"
exit 1
echo >&2 "Error configuring cliquer"
exit 1
fi

rm -rf "$SAGE_LOCAL/include/cliquer/"
mkdir -p "$SAGE_LOCAL/include/cliquer/"
cp *.h "$SAGE_LOCAL/include/cliquer/"

if [ "$UNAME" = "Darwin" ]; then
cp -f libcliquer.so "$SAGE_LOCAL/lib/libcliquer.dylib"
install_name_tool -id "${SAGE_LOCAL}"/lib/libcliquer.dylib "${SAGE_LOCAL}"/lib/libcliquer.dylib
elif [ "$UNAME" = "CYGWIN" ]; then
cp -f libcliquer.so "$SAGE_LOCAL/lib/libcliquer.dll"
echo "Building and installing ..."
$MAKE install
if [ $? -ne 0 ]; then
echo >&2 "Error installing cliquer"
exit 1
fi

# Copy this in all cases, in any case it doesn't hurt.
cp -f libcliquer.so "$SAGE_LOCAL/lib/libcliquer.so"
23 changes: 23 additions & 0 deletions build/pkgs/cliquer/spkg-src
@@ -0,0 +1,23 @@
#!/bin/sh
#
# creates the tarball in the current dir, to be moved to ../../../upstream

#PATCHLEVEL=".p0"
PATCHLEVEL=

rm -rf autocliquer/
git clone https://github.com/dimpase/autocliquer.git
cd autocliquer/

VERSION=`autoconf --trace='AC_INIT:$2'`
autoreconf -fi
automake --add-missing --copy
./configure

rm -f cliquer-$VERSION.tar.gz
make dist
mv cliquer-$VERSION.tar.gz ../
cd ..
rm -rf autocliquer/


6 changes: 3 additions & 3 deletions build/pkgs/configure/checksums.ini
@@ -1,4 +1,4 @@
tarball=configure-VERSION.tar.gz
sha1=631a348f0ac864b3ec37dfcb1d7fab79e213a075
md5=5759d84c96102aee89c7eaea0aadf842
cksum=2510923339
sha1=667c4449d5d193a6520ad38cf9c0f49e209cbc21
md5=de3e80d1d278a05e430669fd8beefa19
cksum=3190707453
2 changes: 1 addition & 1 deletion build/pkgs/configure/package-version.txt
@@ -1 +1 @@
140
142
6 changes: 3 additions & 3 deletions build/pkgs/gp2c/checksums.ini
@@ -1,4 +1,4 @@
tarball=gp2c-VERSION.tar.gz
sha1=5acb1a13e1ed8ee877ffb34baa3b817e720f3e50
md5=cb263990e399153aca6a2540930b4600
cksum=1931194041
sha1=e07cebffcd09c0d644d52335130984f33042b46f
md5=3f6bb47d41ddca7b6a4938d16abbe4e8
cksum=3338275717
2 changes: 1 addition & 1 deletion build/pkgs/gp2c/package-version.txt
@@ -1 +1 @@
0.0.9pl3
0.0.9pl5

0 comments on commit b1709e9

Please sign in to comment.