From cd73212ae99c87d03461974e886e561d6222253a Mon Sep 17 00:00:00 2001 From: "johnvg@science.ru.nl" Date: Tue, 19 Feb 2019 17:29:00 +0100 Subject: [PATCH] add file s3.sed for 64 bit MacOSX --- Libraries/graph_copy/s3.sed | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100644 Libraries/graph_copy/s3.sed diff --git a/Libraries/graph_copy/s3.sed b/Libraries/graph_copy/s3.sed new file mode 100644 index 00000000..f88a7788 --- /dev/null +++ b/Libraries/graph_copy/s3.sed @@ -0,0 +1,8 @@ +s/_dINT/dINT/ +s/_CHAR/CHAR/ +s/_BOOL/BOOL/ +s/_REAL/REAL/ +s/_static_characters/static_characters/ +s/_small_integers/small_integers/ +s/\s*\.cfi.*// +s/\.macosx_version_min [0-9]*, [0-9]*// -- GitLab