diff --git a/config.h b/config.h deleted file mode 100644 index 978268a0..00000000 --- a/config.h +++ /dev/null @@ -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 diff --git a/configure b/configure index 2c5715a9..c834899c 100755 --- a/configure +++ b/configure @@ -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