... | @@ -28,14 +28,14 @@ This is not yet a definite accepted plan but rather wishful thinking at this poi |
... | @@ -28,14 +28,14 @@ This is not yet a definite accepted plan but rather wishful thinking at this poi |
|
- *(maybe)* update in-tree GMP version
|
|
- *(maybe)* update in-tree GMP version
|
|
|
|
|
|
(by adding a `.patch` file for the existing GMP 5.0.3 tarball, or by retrieving a new GMP tarball from outside `ghc.git`, c.f. mingw `configure`-time autodownloading)
|
|
(by adding a `.patch` file for the existing GMP 5.0.3 tarball, or by retrieving a new GMP tarball from outside `ghc.git`, c.f. mingw `configure`-time autodownloading)
|
|
- *(maybe)* implement `configure`-time selectable `bsdnt` backend as described below
|
|
- *(maybe)* implement `configure`-time selectable `bsdnt` backend
|
|
|
|
|
|
(could be easily backported as out-of-tree patch from GHC 7.11 branch if there's demand)
|
|
(could be easily backported as out-of-tree patch from GHC 7.11 branch if there's demand)
|
|
|
|
|
|
### For GHC 7.12
|
|
### For GHC 7.12
|
|
|
|
|
|
- all "*(maybe)*"-items from above if they didn't make it into 7.10
|
|
- all "*(maybe)*"-items from above if they didn't make it into 7.10
|
|
- Implement link-time backend selection
|
|
- Implement link-time backend selection as described below
|
|
|
|
|
|
## Rough Design
|
|
## Rough Design
|
|
|
|
|
... | | ... | |