From 9a441fd46c4e8957833b56a4df0297ead058b9a8 Mon Sep 17 00:00:00 2001 From: Danny Robson Date: Tue, 26 Feb 2019 12:34:30 +1100 Subject: [PATCH] add a local prefix --- 10-prefix/profile | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) create mode 100644 10-prefix/profile diff --git a/10-prefix/profile b/10-prefix/profile new file mode 100644 index 0000000..1c83d26 --- /dev/null +++ b/10-prefix/profile @@ -0,0 +1,18 @@ +#!/bin/bash + +function add_prefix { + echo "Adding prefix at ${1}" + + ## Prefix information + export PATH="${1}/bin:${1}/sbin${PATH:+:$PATH}" + export LD_LIBRARY_PATH="$1/lib:$1/lib64${LD_LIBRARY_PATH:+:$LD_LIBRARY_PATH}" + + ## GCC information + export C_INCLUDE_PATH="$1/include${C_INCLUDE_PATH:+:$C_INCLUDE_PATH}" + export CPLUS_INCLUDE_PATH="$1/include${CPLUS_INCLUDE_PATH:+:$CPLUS_INCLUDE_PATH}" + export LIBRARY_PATH="$1/lib:$1/lib64${LIBRARY_PATH:+:$LIBRARY_PATH}" + + ## export PKG_CONFIG_PATH="$1/lib/pkgconfig:$PKG_CONFIG_PATH" +} + +add_prefix "${HOME}/src/prefix/default"