Skip to content

Instantly share code, notes, and snippets.

View doubleotoo's full-sized avatar

doubleotoo

42 followers · 217 following
View GitHub Profile
@doubleotoo
doubleotoo / install-boost.sh
Last active October 6, 2022 03:45
Quick and dirty script to automate the installation of the Boost C++ libraries
#!/bin/bash -e
#
# Usage: ./install-boost <version: x.xx.x>
: ${PATH:=}
: ${LD_LIBRARY_PATH:=}
if [ "$#" -ne 1 ]; then
echo "Usage: $0 <version: 1.39.0>"
exit 1
@doubleotoo
doubleotoo / install-gmp.sh
Last active October 13, 2015 02:48
Quick and dirty script to automate the installation of GMP
#!/bin/bash -x
#-------------------------------------------------------------------------------
# Set defaults
#-------------------------------------------------------------------------------
: ${GMP_VERSION:=$1}
: ${DESTDIR:=$(pwd)}
: ${PREFIX:=${DESTDIR}/${GMP_VERSION}}
: ${SRCDIR:=}
: ${WORKSPACE:=${PREFIX}/workspace}
@doubleotoo
doubleotoo / install-mpfr.sh
Last active October 13, 2015 02:48
Quick and dirty script to automate the installation of MPFR
#!/bin/bash -x
#-------------------------------------------------------------------------------
# Set defaults
#-------------------------------------------------------------------------------
: ${MPFR_VERSION:=$1}
: ${GMP_HOME:=}
: ${DESTDIR:=$(pwd)}
: ${PREFIX:=${DESTDIR}/${MPFR_VERSION}}
: ${SRCDIR:=}
@doubleotoo
doubleotoo / install-mpc.sh
Last active December 18, 2015 10:38
#!/bin/bash -x
: ${MPC_VERSION:=$1}
: ${GMP_HOME:=}
: ${MPFR_HOME:=}
: ${DESTDIR:=$(pwd)}
: ${PREFIX:=${DESTDIR}/${MPC_VERSION}}
: ${WORKSPACE:=${PREFIX}/workspace}
: ${BUILDDIR:=${WORKSPACE}/build}
@doubleotoo
doubleotoo / install-git.sh
Created June 24, 2013 19:51
#!/bin/bash -e
#-------------------------------------------------------------------------------
# Default values
#-------------------------------------------------------------------------------
: ${GIT_VERSION:=$1}
echo "[INFO] Git '$GIT_VERSION'"
: ${GCC_HOME:=}
@doubleotoo
doubleotoo / install-autoconf.sh
Last active April 16, 2023 06:30
#!/bin/bash -e
#-------------------------------------------------------------------------------
# Default values
#-------------------------------------------------------------------------------
: ${AUTOCONF_VERSION:=$1}
echo "[INFO] Autoconf '$AUTOCONF_VERSION'"
: ${GCC_HOME:=}
@doubleotoo
doubleotoo / install-automake.sh
Last active December 18, 2015 23:19
#!/bin/bash -e
#-------------------------------------------------------------------------------
# Default values
#-------------------------------------------------------------------------------
: ${AUTOMAKE_VERSION:=$1}
echo "[INFO] Automake '$AUTOMAKE_VERSION'"
: ${GCC_HOME:=}
@doubleotoo
doubleotoo / install-llvm_clang.sh
Created June 25, 2013 21:53
#!/bin/bash -e
#
# Usage: ./install-llvm-clang.sh <version: x.x>
#-------------------------------------------------------------------------------
# Default values
#-------------------------------------------------------------------------------
: ${LLVM_CLANG_VERSION:=$1}
: ${GCC_HOME:=}
if [ -z "${GCC_HOME}" ]; then
@doubleotoo
doubleotoo / install-llvm_clang-3.0.sh
Created June 25, 2013 21:53
#!/bin/bash -e
#
# Usage: ./install-llvm-clang.sh <version: x.x>
#-------------------------------------------------------------------------------
# Default values
#-------------------------------------------------------------------------------
: ${LLVM_CLANG_VERSION:=$1}
: ${GCC_HOME:=}
if [ -z "${GCC_HOME}" ]; then
@doubleotoo
doubleotoo / rose_environment.sh
Last active December 19, 2015 00:29
#!/bin/bash
# Usage:
#
# $ source rose_environment.sh
cat <<-EOF
--------------------------------------------------------------------------------
ROSE development environment
--------------------------------------------------------------------------------
EOF