Merge pull request #145 from morpho-org/certora/extended-re

Use only POSIX compliant sed features

Author: MathisGD

certora/makefile renamed to certora/Makefile

@@ -7,15 +7,15 @@ munged-simple: $(wildcard ../src/*.sol) applyHarnessSimple.patch
 	@patch -p0 -d munged-simple < applyHarnessSimple.patch
 
 record-simple:
-	diff -ruN ../src munged-simple | sed 's,\.\./src/\|munged-simple/,,g' | sed 's,\(\(\-\-\-\|+++\) [^[:space:]]*\).*,\1,' > applyHarnessSimple.patch
+	diff -ruN ../src munged-simple | sed -E 's,\.\./src/|munged-simple/,,g' | sed -E 's,((\-\-\-|\+\+\+) [^[:space:]]*).*,\1,' > applyHarnessSimple.patch
 
 munged-fifo: $(wildcard ../src/*.sol) applyHarnessFifo.patch
 	@rm -rf munged-fifo
 	@cp -r ../src munged-fifo
 	@patch -p0 -d munged-fifo < applyHarnessFifo.patch
 
 record-fifo:
-	diff -ruN ../src munged-fifo | sed 's,\.\./src/\|munged-fifo/,,g' | sed 's,\(\(\-\-\-\|+++\) [^[:space:]]*\).*,\1,' > applyHarnessFifo.patch
+	diff -ruN ../src munged-fifo | sed -E 's,\.\./src/|munged-fifo/,,g' | sed -E 's,((\-\-\-|\+\+\+) [^[:space:]]*).*,\1,' > applyHarnessFifo.patch
 
 clean:
 	rm -rf munged-simple munged-fifo