From 20f53b0b61efd47f471d79fca92963361108c570 Mon Sep 17 00:00:00 2001 From: Natalja Rakowsky Date: Fri, 1 May 2020 12:24:42 +0200 Subject: [PATCH] updated Makefiles, removed metis 4 --- lib/metis-5.1.0/Makefile.in_ubuntu | 15 --------------- 1 file changed, 15 deletions(-) delete mode 100644 lib/metis-5.1.0/Makefile.in_ubuntu diff --git a/lib/metis-5.1.0/Makefile.in_ubuntu b/lib/metis-5.1.0/Makefile.in_ubuntu deleted file mode 100644 index 37df1bc04..000000000 --- a/lib/metis-5.1.0/Makefile.in_ubuntu +++ /dev/null @@ -1,15 +0,0 @@ - -# Compiler and Linker -CC = gcc -LD = $(CC) - -# Optimization specs for compiler -OPT = -O2 - -# What archiving to use -# Do not use option "r" - util.o comes twice from GKlib and libmetis! -# Instead, the Makefiles makes sure to clean any old lib first. -AR = ar qv - -# What to use for indexing the archive -RANLIB = ranlib