From e6e9d89f2d0b0459d5461048a72a3380d009e2e8 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Tue, 25 Mar 2008 15:34:32 +0000 Subject: [PATCH] very very interesting hack --- .../matita/contribs/assembly/freescale/fix-mkanystatus.sh | 5 +++++ 1 file changed, 5 insertions(+) create mode 100755 helm/software/matita/contribs/assembly/freescale/fix-mkanystatus.sh diff --git a/helm/software/matita/contribs/assembly/freescale/fix-mkanystatus.sh b/helm/software/matita/contribs/assembly/freescale/fix-mkanystatus.sh new file mode 100755 index 000000000..cba39e2dc --- /dev/null +++ b/helm/software/matita/contribs/assembly/freescale/fix-mkanystatus.sh @@ -0,0 +1,5 @@ +#!/bin/sh + +sed -i 's/Mk_any_status((Matita_freescale_status/Mk_any_status(Obj.magic(Matita_freescale_status/g' *.ml +sed -i 's/match alu with/match (Obj.magic alu) with/g' *.ml + -- 2.39.2