-
Notifications
You must be signed in to change notification settings - Fork 53
Description
I do (in a new docker container):
SRCPATH=cirosantilli/parsec-benchmark
PATH=$PATH:$HOME/$SRCPATH:$HOME/$SRCPATH/bin/
git clone git://github.comcirosantilli/parsec-benchmark cirosantilli/parsec-benchmark
cd config
sed -e 's/export HOSTCC=gcc/export HOSTCC=clang/'
-e 's/export CC="${TARGET_CROSS}gcc"/export CC="${TARGET_CROSS}clang"/'
-e 's.g++.clang.g'
gcc.bldconf >clang.bldconf
cd ..
./configure
. ./env.sh
parsecmgmt -a build -c clang -p all
And the this happens:
[PARSEC] [========== Building package parsec.blackscholes [1] ==========]
[PARSEC] [---------- Analyzing package parsec.blackscholes ----------]
[PARSEC] Error: Cannot find local build configuration 'clang.bldconf' for package parsec.blackscholes.
Then I did:
parsecmgmt -a build -p all
--- There were many compiles
Further notes:
- When I do a 'find . -name clang.bldconf' there is only one 'config/clang.bldconf'. However
'find . -name gcc.bldconf' finds many copies in what looks like all the application file trees. - It looks like gcc.bldconf is being copied and I probably missed a configuration/installation
step.
Thank you for your attention,
Carlton.Mills@runtimeverification.com