add file s3.sed for 64 bit MacOSX

cd73212a · johnvg@science.ru.nl · b04795cd · cd73212a
Commit cd73212a authored Feb 19, 2019 by johnvg@science.ru.nl
Hide whitespace changes
Inline Side-by-side

Showing with 8 additions and 0 deletions

Libraries/graph_copy/s3.sed Libraries/graph_copy/s3.sed +8 -0

No files found.
--- a/Libraries/graph_copy/s3.sed
+++ b/Libraries/graph_copy/s3.sed
+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]*//