Add option to set number of threads psc will use

[garyb]

Ideally this should be something we can read from the command line args rather than something that is set in the gulpfile.

The motivation for this is to limit the threads used on Travis, at it seems whatever default it is using is crippling the compiler performance currently (10x slower at compiling purescript-halogen), as of psc 0.7.5.

I'm only thinking of the RTS -N option here, but maybe we should allow the use of any RTS arguments, it could be useful for debugging too.

[ethul]

Good idea!

On Thursday, 5 November 2015, Gary Burgess notifications@github.com wrote:

Ideally this should be something we can read from the command line args
rather than something that is set in the gulpfile.

The motivation for this is to limit the threads used on Travis, at it
seems whatever default it is using is crippling the compiler performance
currently, as of psc 0.7.5.

I'm only thinking of the RTS -N option here, but maybe we should allow
the use of any RTS arguments, it could be useful for debugging too.

—
Reply to this email directly or view it on GitHub
#56.

[garyb]

Resolved by #57