Changes between Version 1 and Version 2 of FrontendPluginsProposal


Ignore:
Timestamp:
Jul 25, 2013 3:12:31 PM (2 years ago)
Author:
edsko
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • FrontendPluginsProposal

    v1 v2  
    116116Command line support for source plugins could then be added in a similar
    117117fashion.
     118
     119== Patches ==
     120
     121Attached are patches against 7.4.2 and 7.7. Note that the patch against 7.7 invalidates the check implemented in #7780; you have to temporarily disable it:
     122
     123{{{
     124diff --git a/utils/dll-split/Main.hs b/utils/dll-split/Main.hs
     125index 336b6d9..c92ff8d 100644
     126--- a/utils/dll-split/Main.hs
     127+++ b/utils/dll-split/Main.hs
     128@@ -41,7 +41,8 @@ doit depfile startModule expectedReachableMods
     129           putStrLn "Please fix it, or building DLLs on Widnows may break (#7780)"
     130           tellSet "Redundant modules" redundant
     131           tellSet "Extra modules"     extra
     132-          exitFailure
     133+          putStrLn "WARNING: Continuing regardless!"
     134+          -- exitFailure
     135 
     136 newtype Module = Module String
     137     deriving (Eq, Ord)
     138}}}
     139
     140(Not completely sure what is the ramifications of that are, but I think it means that the Windows DLL will be broken -- so that will need to be addressed before the patch can be accepted).