Moved makelib
authorbdemsky <bdemsky>
Thu, 6 May 2004 21:17:45 +0000 (21:17 +0000)
committerbdemsky <bdemsky>
Thu, 6 May 2004 21:17:45 +0000 (21:17 +0000)
Repair/RepairInterpreter/makelib [new file with mode: 0755]

diff --git a/Repair/RepairInterpreter/makelib b/Repair/RepairInterpreter/makelib
new file mode 100755 (executable)
index 0000000..37bf066
--- /dev/null
@@ -0,0 +1,31 @@
+ #!/bin/bash
+
+# Run this script to create libchecker.a, necessary for the debugging tool
+# Date: July 26
+
+if [ -f libchecker.a ]
+then rm libchecker.a
+fi
+
+mv file.cc file.bak
+mv danfile.cc danfile.bak
+
+
+g++ -Wno-deprecated -g -O0 -c *.cc
+gcc -Wno-deprecated -g -O0 -c *.c
+
+
+if [ -f danfile.o ]
+then rm danfile.o
+fi
+
+if [ -f file.o ]
+then rm file.o
+fi
+
+ar -r libchecker.a *.o
+ranlib libchecker.a
+
+
+mv file.bak file.cc
+mv danfile.bak danfile.cc
\ No newline at end of file