stack: ghc-options notes
This commit is contained in:
		
							parent
							
								
									267f23dabb
								
							
						
					
					
						commit
						f39938d7ef
					
				| @ -29,3 +29,10 @@ extra-deps: | |||||||
| # tell GHC to write hie files, eg for weeder. Rumoured to be slow. | # tell GHC to write hie files, eg for weeder. Rumoured to be slow. | ||||||
| # ghc-options: | # ghc-options: | ||||||
| #   "$locals": -fwrite-ide-info | #   "$locals": -fwrite-ide-info | ||||||
|  | 
 | ||||||
|  | # ghc-options: | ||||||
|  | #   "$locals": -ddump-timings | ||||||
|  | #  "$targets": -Werror | ||||||
|  | #  "$everything": -O2 | ||||||
|  | #  some-package: -DSOME_CPP_FLAG | ||||||
|  |    | ||||||
|  | |||||||
		Loading…
	
		Reference in New Issue
	
	Block a user