Dear GHC developers,

Summary: You should try to use Hadrian as the GHC build system, because it will 
(hopefully!) become the default around GHC 8.8.

What is Hadrian and how can I try it?
=====================================

Hadrian is a new build system for GHC written in Haskell. It lives in the 
directory "hadrian" in the GHC tree, and we have been actively developing it in 
the past year to reach feature and correctness parity with the existing 
Make-based build system. While we haven't quite reached this goal (more on this 
below), Hadrian is already working well and we run Hadrian jobs alongside the 
Make ones in our CI pipelines since the recent move to GitLab.

At this point, we would like to encourage everyone to try using Hadrian for 
their usual GHC development tasks. Hadrian's documentation resides in GHC's 
source tree, and below are the documents you will be most interested in:


*        https://gitlab.haskell.org/ghc/ghc/blob/master/hadrian/README.md: The 
root of Hadrian's documentation. It explains the basics and points to more 
specific documents where appropriate.



*        https://gitlab.haskell.org/ghc/ghc/blob/master/hadrian/doc/make.md: A 
cheatsheet-style document for GHC developers used to the Make build system 
(that is, most/all of you), showing equivalent Make/Hadrian commands for many 
tasks.


*        
https://gitlab.haskell.org/ghc/ghc/blob/master/hadrian/doc/user-settings.md: A 
description of the "user settings" mechanism in Hadrian, which is where you can 
customise the build flavour, choose the packages to build, add 
file/package/platform-specific command line flags, etc.


*        
https://gitlab.haskell.org/ghc/ghc/blob/master/hadrian/doc/testsuite.md: A 
description of the "test" rule and all the options it supports.

The documentation can surely be improved, so please do not hesitate to send us 
feedback and suggestions here, or even better on Trac: make sure you choose the 
component "Build System (Hadrian)" when creating a new ticket.

You need Hadrian
================

Hadrian is new, requires time to learn, and still has rough edges, but it has 
been developed to make your lives better. Here are a few advantages of Hadrian 
over the Make-based build system:

1) Hadrian is more reliable.

Hadrian can capture build dependencies more accurately, which means you rarely 
(if ever) need to do a clean rebuild.

2) Hadrian is faster.

Hadrian is faster for two reasons: (i) more accurate build dependencies, (ii) 
tracking of file contents instead of file modification times. Both allow you to 
avoid a lot of unnecessary rebuilds. Building Hadrian itself may take a while 
but needs to be done only once.

3) Hadrian is easier to understand and modify.

You no longer need to deal with Make's global namespace of mutable string 
variables. Hadrian is written in the language you love; it has modules, types 
and pure functions.


If you come across a situation where Hadrian is worse than the Make build 
system in any of the above aspects, this is a bug and you should report it.

Helping Hadrian
===============

The best way to help is to try Hadrian, and let us know how it goes, what 
doesn't work, what's missing for you, what you think should be easier, and so 
on. Below is a list of known issues that we are in the process of fixing or 
that we will be tackling soon:


*        Stage 2 GHC should be dynamically linked most of the time, but it 
never is, currently. See https://ghc.haskell.org/trac/ghc/ticket/15837

*        There are about a dozen of failing tests in the GHC testsuite, some 
related to #15837.

*        Binary distributions haven't been thoroughly tested on many platforms 
(only some Linux flavours). There will definitely be some issues here. For 
example, the binary distribution rule currently fails on Windows: 
https://ghc.haskell.org/trac/ghc/ticket/16073.

*        There is no "validate" rule yet, only "test", but we have all the 
pieces to make this happen and it has a very high priority.

*        There are issues with building cross compilers: see 
https://ghc.haskell.org/trac/ghc/ticket/16051.

We are likely missing some features compared to the Make build system, but none 
of them should take a lot of time to implement at this point. If you spot one, 
let us know! We'll do our best to implement it (or help you do it) as soon as 
we can. It is useful to look at the existing Hadrian tickets before submitting 
new ones, to make sure that the issue or idea that you would like to talk about 
hasn't been brought up yet: 
https://ghc.haskell.org/trac/ghc/query?status=!closed&component=Build+System+(Hadrian).

Of course, we welcome your code contributions too! Several GHC developers have 
a good understanding of Hadrian codebase and will be able to help you. To find 
their names, have a look at the list of recent Hadrian commits: 
https://gitlab.haskell.org/ghc/ghc/commits/master/hadrian. As you can see, 
Hadrian is actively developed by many people, and we hope you will join too.

Cheers,
Andrey

_______________________________________________
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

Reply via email to