Skip to content

Instantly share code, notes, and snippets.

@matbesancon
Last active October 10, 2023 14:50
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save matbesancon/1e0d388c7c64aaa21b80cc9220c48adf to your computer and use it in GitHub Desktop.
Save matbesancon/1e0d388c7c64aaa21b80cc9220c48adf to your computer and use it in GitHub Desktop.
Running BinaryBuilder SCIP in debug mode
# Note that this script can accept some limited command-line arguments, run
# `julia build_tarballs.jl --help` to see a usage message.
using Pkg
Pkg.add("BinaryBuilder")
using BinaryBuilder
name = "SCIP"
version = v"800.0.400"
# Collection of sources required to complete build
sources = [
ArchiveSource("https://scipopt.org/download/release/scipoptsuite-8.0.4.tgz", "be4f978be7f8f97371ddcdac7a60af69a4fea5f975090fe35f1ae4308db692d3"),
]
# Bash recipe for building across all platforms
script = raw"""
# needed for now
# clock_gettime requires linking to librt -lrt with old glibc
# remove when CMake accounts for this
if [[ "${target}" == *86*-linux-gnu ]]; then
export LDFLAGS="-lrt"
elif [[ "${target}" == *-mingw* ]]; then
# this is required to link to bliss on mingw
export LDFLAGS=-L${libdir}
fi
cd scipoptsuite*
# for soplex threadlocal
export CXXFLAGS="-DTHREADLOCAL=''"
mkdir build
cd build/
cmake -DCMAKE_INSTALL_PREFIX=$prefix\
-DCMAKE_TOOLCHAIN_FILE=${CMAKE_TARGET_TOOLCHAIN}\
-DCMAKE_BUILD_TYPE=Debug\
-DPAPILO=0\
-DZIMPL=OFF\
-DGCG=0\
-DUG=0\
-DAMPL=0\
-DBOOST=ON\
-DSYM=bliss\
-DTPI=tny\
-DIPOPT_DIR=${prefix} \
-DIPOPT_LIBRARIES=${libdir} \
-DBLISS_INCLUDE_DIR=${includedir} \
-DBLISS_LIBRARY=bliss \
..
make -j${nproc}
make install
mkdir -p ${prefix}/share/licenses/SCIP
for dir in scip soplex; do
cp $WORKSPACE/srcdir/scipoptsuite*/${dir}/LICENSE ${prefix}/share/licenses/SCIP/LICENSE_${dir}
done
"""
# These are the platforms we will build for by default, unless further
# platforms are passed in on the command line
platforms = expand_cxxstring_abis(supported_platforms())
filter!(Sys.iswindows, platforms)
# The products that we will ensure are always built
products = [
LibraryProduct("libscip", :libscip),
ExecutableProduct("scip", :scipexe),
LibraryProduct("libsoplexshared", :libsoplex),
]
# Dependencies that must be installed before this package can be built
dependencies = [
Dependency(PackageSpec(name="bliss_jll", uuid="508c9074-7a14-5c94-9582-3d4bc1871065"), v"0.77.0"),
Dependency(PackageSpec(name="boost_jll", uuid="28df3c45-c428-5900-9ff8-a3135698ca75"); compat="=1.79.0"),
Dependency(PackageSpec(name="Bzip2_jll", uuid="6e34b625-4abd-537c-b88f-471c36dfa7a0"); compat="1.0.8"),
Dependency(PackageSpec(name="CompilerSupportLibraries_jll", uuid="e66e0078-7015-5450-92f7-15fbd957f2ae")),
Dependency(PackageSpec(name="GMP_jll", uuid="781609d7-10c4-51f6-84f2-b8444358ff6d"), v"6.2.1"),
Dependency(PackageSpec(name="Ipopt_jll", uuid="9cc047cb-c261-5740-88fc-0cf96f7bdcc7"); compat="300.1400.1302"),
Dependency(PackageSpec(name="Readline_jll", uuid="05236dd9-4125-5232-aa7c-9ec0c9b2c25a")),
Dependency(PackageSpec(name="Zlib_jll", uuid="83775a58-1f1d-513f-b197-d71354ab007a")),
]
push!(ARGS, "--deploy=local")
# Build the tarballs, and possibly a `build.jl` as well.
build_tarballs(ARGS, name, version, sources, script, platforms, products, dependencies; preferred_gcc_version = v"6", julia_compat="1.6")
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment