;makefile: note useful looking lib
This commit is contained in:
		
							parent
							
								
									b76caae338
								
							
						
					
					
						commit
						a0c12a730f
					
				
							
								
								
									
										2
									
								
								Makefile
									
									
									
									
									
								
							
							
						
						
									
										2
									
								
								Makefile
									
									
									
									
									
								
							| @ -26,6 +26,8 @@ | |||||||
| # This makefile mostly uses stack to get things done (slow but robust).
 | # This makefile mostly uses stack to get things done (slow but robust).
 | ||||||
| # It may sometimes (still ?) use ghc only, or cabal, when easier.
 | # It may sometimes (still ?) use ghc only, or cabal, when easier.
 | ||||||
| 
 | 
 | ||||||
|  | # see also: https://gmsl.sourceforge.io/
 | ||||||
|  | 
 | ||||||
| # XXX do we need this ?
 | # XXX do we need this ?
 | ||||||
| #SHELL=/bin/bash
 | #SHELL=/bin/bash
 | ||||||
| #.SHELLFLAGS="-O extglob -c" # example
 | #.SHELLFLAGS="-O extglob -c" # example
 | ||||||
|  | |||||||
		Loading…
	
		Reference in New Issue
	
	Block a user