mirror of
https://github.com/vale981/arb
synced 2025-03-05 09:21:38 -05:00
remove config.h -- flint's config.h should be used
This commit is contained in:
parent
e4113ef4da
commit
d9cbf6ecd5
2 changed files with 0 additions and 19 deletions
8
config.h
8
config.h
|
@ -1,8 +0,0 @@
|
|||
/* This file is autogenerated by ./configure -- do not edit! */
|
||||
#define POPCNT_INTRINSICS
|
||||
#define HAVE_BLAS 0
|
||||
#define HAVE_TLS 1
|
||||
#define HAVE_PTHREAD 1
|
||||
#define HAVE_GC 0
|
||||
#define ARB_REENTRANT 0
|
||||
#define WANT_ASSERT 0
|
11
configure
vendored
11
configure
vendored
|
@ -600,17 +600,6 @@ if [ "$WANT_CXX" = "1" ]; then
|
|||
EXTRA_BUILD="$EXTRA_BUILD arbxx"
|
||||
fi
|
||||
|
||||
#write out config.h
|
||||
|
||||
echo "/* This file is autogenerated by ./configure -- do not edit! */" > config.h
|
||||
echo "$CONFIG_POPCNT_INTRINSICS" >> config.h
|
||||
echo "$CONFIG_BLAS" >> config.h
|
||||
echo "$CONFIG_TLS" >> config.h
|
||||
echo "$CONFIG_PTHREAD" >> config.h
|
||||
echo "$CONFIG_GC" >> config.h
|
||||
echo "#define ARB_REENTRANT $REENTRANT" >> config.h
|
||||
echo "#define WANT_ASSERT $ASSERT" >> config.h
|
||||
|
||||
#write out Makefile
|
||||
|
||||
echo "# This file is autogenerated by ./configure -- do not edit!" > Makefile
|
||||
|
|
Loading…
Add table
Reference in a new issue