From 1192c4575ea7afdf38e3fa0df4587a08620af11e Mon Sep 17 00:00:00 2001
From: root <root@dc13.lemmi>
Date: Tue, 21 Jul 2020 10:00:46 +0200
Subject: SZS v2.18a

---
 project/makefiles-local/Makefile.local | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 project/makefiles-local/Makefile.local

(limited to 'project/makefiles-local/Makefile.local')

diff --git a/project/makefiles-local/Makefile.local b/project/makefiles-local/Makefile.local
new file mode 100644
index 0000000..612a98f
--- /dev/null
+++ b/project/makefiles-local/Makefile.local
@@ -0,0 +1,17 @@
+
+# this is a template for ../Makefile.local
+
+# copy this file to the main directory
+# and remove appropriate comments (the leading '# ' of the include lines)
+
+#------------------------------------------------------------------------------
+
+# Linux, 32 bit, i368
+# -include makefiles-local/Makefile.local.i386
+
+# Linux, 64 bit, x86
+# -include makefiles-local/Makefile.local.x86_64
+
+# Mac, universal binary
+# -include makefiles-local/Makefile.local.mac
+
-- 
cgit v1.3.1