Skip to content
Snippets Groups Projects
Commit 10eaa9b6 authored by Ross Paterson's avatar Ross Paterson
Browse files

implement --configure-option and --ghc-option (#139) 

Added options used for building in the GHC tree:

	setup configure --configure-option=STR
	setup build --ghc-option=STR
	setup makefile --ghc-option=STR

These were formerly scattered across Setup.hs files.
parent 0a799a8e
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment