Skip to content

Commit

Permalink
Build script improvements
Browse files Browse the repository at this point in the history
  • Loading branch information
jeremy-rifkin committed Jan 21, 2024
1 parent abb03e4 commit f7538d7
Showing 1 changed file with 7 additions and 7 deletions.
14 changes: 7 additions & 7 deletions misc/build-wyrm-transpiler.sh
Original file line number Diff line number Diff line change
Expand Up @@ -21,8 +21,8 @@ LAST_REVISION="${3:-}"

initialise "${REVISION}" "${OUTPUT}" "${LAST_REVISION}"

PREFIX=$(pwd)/prefix
DIR=$(pwd)/wyrm
STAGING_DIR=/opt/compiler-explorer/wyrm-${VERSION}

git clone "${URL}" "${DIR}"

Expand All @@ -32,11 +32,11 @@ mkdir build
cd build
export CXX=/opt/compiler-explorer/gcc-12.1.0/bin/g++
export CC=/opt/compiler-explorer/gcc-12.1.0/bin/gcc
cmake .. -GNinja -DCMAKE_BUILD_TYPE=Debug
ninja
cmake .. -GNinja -DCMAKE_BUILD_TYPE=Debug -DCMAKE_INSTALL_PREFIX="$STAGING_DIR"
ninja install

mkdir -p "${PREFIX}"
cd ..
mv build "${PREFIX}/build"
cp -v libplugin.so "${STAGING_DIR}"

complete "${PREFIX}" "wyrm-${VERSION}" "${OUTPUT}"
patchelf --set-rpath '$ORIGIN/lib:/opt/compiler-explorer/gcc-12.1.0/lib64/' "${STAGING_DIR}/libplugin.so"

complete "${STAGING_DIR}" "wyrm-${VERSION}" "${OUTPUT}"

0 comments on commit f7538d7

Please sign in to comment.