Permalink
Browse files

add get_language_c

  • Loading branch information...
1 parent 7b07334 commit 24737873f30ace325cd912a679a443c0de406e8a @bblum committed Dec 10, 2011
Showing with 19 additions and 0 deletions.
  1. +4 −0 README
  2. +15 −0 get_language_c.sh
View
4 README
@@ -155,6 +155,10 @@ it goes after the argument list:
==== 4. Using the tool ====
+To build, just invoke "make"; you will need GHC, and Language.C version
+0.3.something (I use 0.3.2.1). On the GHC machines, you can run
+"./get_language_c.sh" and hopefully then a make will work.
+
For each file you wish to check, run: aan [include paths] path/to/file.c
"list_includes.sh" should be used, from the directory with 410kern in it, to
View
@@ -0,0 +1,15 @@
+#!/bin/sh
+if [ ! -f Check.hs ]; then
+ echo "you are probably in the wrong directory?"
+ exit 1
+fi
+
+wget http://hackage.haskell.org/packages/archive/language-c/0.3.2.1/language-c-0.3.2.1.tar.gz
+tar xvzf language-c-0.3.2.1.tar.gz
+cd language-c-0.3.2.1/src/Language/C/Parser
+ln -s ../../../../dist/build/Language/C/Parser/Parser.hs .
+ln -s ../../../../dist/build/Language/C/Parser/Lexer.hs .
+cd ../../../../../
+ln -s language-c-0.3.2.1/src/Language/ .
+
+echo "You should be good. Type 'make' now."

0 comments on commit 2473787

Please sign in to comment.