From: Simon Marlow Date: Tue, 9 Oct 2007 12:23:38 +0000 (+0000) Subject: remove the "-unreg" flag and the unregisterised way, see #1008 X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=dade8ab28360c8f5a9c82f9ac3429c808020e07f remove the "-unreg" flag and the unregisterised way, see #1008 --- diff --git a/compiler/main/StaticFlags.hs b/compiler/main/StaticFlags.hs index 267be56..43f630c 100644 --- a/compiler/main/StaticFlags.hs +++ b/compiler/main/StaticFlags.hs @@ -159,7 +159,6 @@ static_flags = [ ------- ways -------------------------------------------------------- , ( "prof" , NoArg (addWay WayProf) ) - , ( "unreg" , NoArg (addWay WayUnreg) ) , ( "ticky" , NoArg (addWay WayTicky) ) , ( "parallel" , NoArg (addWay WayPar) ) , ( "gransim" , NoArg (addWay WayGran) ) @@ -455,7 +454,6 @@ data WayName = WayThreaded | WayDebug | WayProf - | WayUnreg | WayTicky | WayPar | WayGran @@ -492,7 +490,6 @@ allowed_combination way = and [ x `allowedWith` y _ `allowedWith` WayDebug = True WayDebug `allowedWith` _ = True - WayProf `allowedWith` WayUnreg = True WayProf `allowedWith` WayNDP = True _ `allowedWith` _ = False @@ -562,9 +559,6 @@ way_details = [ "-DTICKY_TICKY" , "-optc-DTICKY_TICKY" ]), - (WayUnreg, Way "u" False "Unregisterised" - unregFlags ), - -- optl's below to tell linker where to find the PVM library -- HWL (WayPar, Way "mp" False "Parallel" [ "-fparallel" diff --git a/docs/users_guide/debugging.xml b/docs/users_guide/debugging.xml index 4ab4379..0f1fd18 100644 --- a/docs/users_guide/debugging.xml +++ b/docs/users_guide/debugging.xml @@ -601,21 +601,9 @@ Main.skip2{-r1L6-} = of platform-specific code that needs to be written in order to get unregisterised compilation going is usually fairly small. - - - - : - - - - Compile via vanilla ANSI C only, turning off - platform-specific optimisations. NOTE: in order to use - , you need to have a set of libraries - (including the RTS) built for unregisterised compilation. - This amounts to building GHC with way "u" enabled. - - - + Unregisterised compilation cannot be selected at + compile-time; you have to build GHC with the appropriate options + set. Consult the GHC Building Guide for details. diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml index d994220..39b6991 100644 --- a/docs/users_guide/flags.xml +++ b/docs/users_guide/flags.xml @@ -2222,12 +2222,6 @@ dynamic - - - - Enable unregisterised compilation - static - - -