From: Simon Marlow Date: Sat, 1 Aug 2009 22:21:18 +0000 (+0000) Subject: remove docuumentation for -#include option X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=0f3bba68b48e32457f2d66e97eff41129f7772ac;hp=e9f5a98d3ce9c8999b9b229affab9eaa137337da;p=ghc-hetmet.git remove docuumentation for -#include option --- diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml index 65c7f8a..685dd7a 100644 --- a/docs/users_guide/flags.xml +++ b/docs/users_guide/flags.xml @@ -1633,33 +1633,6 @@ - C compiler options - - - - - - - Flag - Description - Static/Dynamic - Reverse - - - - - file - Include file when - compiling the .hc file - dynamic - - - - - - - - - Code generation options diff --git a/docs/users_guide/phases.xml b/docs/users_guide/phases.xml index ec14364..1249a15 100644 --- a/docs/users_guide/phases.xml +++ b/docs/users_guide/phases.xml @@ -543,31 +543,6 @@ $ cat foo.hspp - - Options affecting the C compiler (if applicable) - - include-file options - C compiler options - GCC options - - If you are compiling with lots of foreign calls, you may - need to tell the C compiler about some - #include files. The Right Way to do this is to - add an INCLUDE pragma to the top of your source file - (): - -{-# INCLUDE <X/Xlib.h> #-} - - Sometimes this isn't convenient. In those cases there's an - equivalent command-line option: - -% ghc -c '-#include <X/Xlib.h>' Xstuff.lhs - - - - - - Options affecting code generation