;stack: generate ide info files (disabled)
This commit is contained in:
		
							parent
							
								
									b151235a43
								
							
						
					
					
						commit
						04931bb0db
					
				| @ -26,3 +26,7 @@ extra-deps: | |||||||
| # apply-ghc-options: everything | # apply-ghc-options: everything | ||||||
| # rebuild-ghc-options: true | # rebuild-ghc-options: true | ||||||
| # stack build --profile --ghc-options="-fno-prof-auto" | # stack build --profile --ghc-options="-fno-prof-auto" | ||||||
|  | 
 | ||||||
|  | # tell GHC to write hie files, eg for weeder. Rumoured to be slow. | ||||||
|  | # ghc-options: | ||||||
|  | #   "$locals": -fwrite-ide-info | ||||||
|  | |||||||
		Loading…
	
		Reference in New Issue
	
	Block a user