diff options
-rw-r--r-- | src/make.configuration.defn | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/src/make.configuration.defn b/src/make.configuration.defn deleted file mode 100644 index 0eb13c8..0000000 --- a/src/make.configuration.defn +++ /dev/null @@ -1,12 +0,0 @@ -# make.configuration.defn for StreamedHDF5 - -# make sure that StreamedHDF5 was configured with HDF5 - -ifeq ($(strip $(HDF5_LIBS)), ) -$(NAME): MissingHDF5 -.pseudo: MissingHDF5 -MissingHDF5: - @echo "StreamedHDF5: requires HDF5" - @echo "StreamedHDF5: Please configure with HDF5 or remove StreamedHDF5 from Thornlist !" - exit 2 -endif |