* Use aterm 2.4.
This commit is contained in:
		
							parent
							
								
									2bcd65ecf6
								
							
						
					
					
						commit
						cb44aa03b8
					
				
					 1 changed files with 3 additions and 3 deletions
				
			
		
							
								
								
									
										6
									
								
								externals/Makefile.am
									
										
									
									
										vendored
									
									
								
							
							
						
						
									
										6
									
								
								externals/Makefile.am
									
										
									
									
										vendored
									
									
								
							|  | @ -34,12 +34,12 @@ endif | ||||||
| 
 | 
 | ||||||
| # CWI ATerm | # CWI ATerm | ||||||
| 
 | 
 | ||||||
| ATERM = aterm-2.3.1 | ATERM = aterm-2.4 | ||||||
| 
 | 
 | ||||||
| $(ATERM).tar.gz: | $(ATERM).tar.gz: | ||||||
| 	@echo "Nix requires the CWI ATerm library to build." | 	@echo "Nix requires the CWI ATerm library to build." | ||||||
| 	@echo "Please download version 2.3.1 from" | 	@echo "Please download version 2.4 from" | ||||||
| 	@echo "  http://www.cwi.nl/projects/MetaEnv/aterm/aterm-2.3.1.tar.gz" | 	@echo "  http://www.cwi.nl/projects/MetaEnv/aterm/aterm-2.4.tar.gz" | ||||||
| 	@echo "and place it in the externals/ directory." | 	@echo "and place it in the externals/ directory." | ||||||
| 	false | 	false | ||||||
| 
 | 
 | ||||||
|  |  | ||||||
		Loading…
	
	Add table
		Add a link
		
	
		Reference in a new issue