Silvan Mosberger  
		
	
	
		b6cfa372f0 
		
			
		
	 
	
	
	idris: Wrap with IDRIS_CC  
		
			... 
			Previously idris used the C compiler from PATH for the C backend, which
means that the results and whether it even succeeds can vary between
systems (e.g. if a Nix-built Idris was used on a super old Linux system,
the cc installed there might not even work for Idris' C).
To make this more predictable, this commit sets the IDRIS_CC env var,
which Idris will prefer over searching in PATH, to a Nix-provided gcc
executable, given that it is not already set, so it's still possible to
override. 
		
	 
 
		2018-07-02 02:34:31 +02:00 
	 
	
	
		  ..
	 
	
	
		
			
			
			
			
			
			2018-03-20 07:16:21 +01:00 
		 
	
		
			
			
			
			
			
			2018-06-26 22:14:17 +02:00 
		 
	
		
			
			
			
			
			
			2018-03-20 07:16:21 +01:00 
		 
	
		
			
			
			
			
			
			2018-02-07 19:25:50 +00:00 
		 
	
		
			
			
			
			
			
			2018-02-07 19:25:50 +00:00 
		 
	
		
			
			
			
			
			
			2018-03-20 07:16:21 +01:00 
		 
	
		
			
			
			
			
			
			2018-03-20 07:16:21 +01:00 
		 
	
		
			
			
			
			
			
			2018-03-20 07:16:21 +01:00 
		 
	
		
			
			
			
			
			
			2018-03-20 07:16:21 +01:00 
		 
	
		
			
			
			
			
			
			2018-03-20 07:16:21 +01:00 
		 
	
		
			
			
			
			
			
			2018-03-20 07:16:21 +01:00 
		 
	
		
			
			
			
			
			
			2018-03-20 07:16:21 +01:00 
		 
	
		
			
			
			
			
			
			2018-03-20 07:16:21 +01:00 
		 
	
		
			
			
			
			
			
			2018-03-20 07:16:21 +01:00 
		 
	
		
			
			
			
			
			
			2018-03-20 07:16:21 +01:00 
		 
	
		
			
			
			
			
			
			2018-03-20 07:16:21 +01:00 
		 
	
		
			
			
			
			
			
			2018-03-20 07:16:21 +01:00 
		 
	
		
			
			
			
			
			
			2018-05-08 11:41:52 +02:00 
		 
	
		
			
			
			
			
			
			2018-03-20 07:16:21 +01:00 
		 
	
		
			
			
			
			
			
			2018-03-20 07:16:21 +01:00 
		 
	
		
			
			
			
			
			
			2018-03-20 07:16:21 +01:00 
		 
	
		
			
			
			
			
			
			2018-03-20 07:16:21 +01:00 
		 
	
		
			
			
			
			
			
			2018-03-20 07:16:21 +01:00 
		 
	
		
			
			
			
			
			
			2018-03-20 07:16:21 +01:00 
		 
	
		
			
			
			
			
			
			2018-03-20 07:16:21 +01:00 
		 
	
		
			
			
			
			
			
			2018-03-20 07:16:21 +01:00 
		 
	
		
			
			
			
			
			
			2018-03-20 07:16:21 +01:00 
		 
	
		
			
			
			
			
			
			2018-03-20 07:16:21 +01:00 
		 
	
		
			
			
			
			
			
			2018-03-20 07:16:21 +01:00 
		 
	
		
			
			
			
			
			
			2018-03-20 07:16:21 +01:00 
		 
	
		
			
			
			
			
			
			2018-03-20 07:16:21 +01:00 
		 
	
		
			
			
			
			
			
			2018-03-20 07:16:21 +01:00 
		 
	
		
			
			
			
			
			
			2018-03-20 07:16:21 +01:00 
		 
	
		
			
			
			
			
			
			2018-03-20 07:16:21 +01:00 
		 
	
		
			
			
			
			
			
			2018-03-20 07:16:21 +01:00 
		 
	
		
			
			
			
			
			
			2018-03-20 07:16:21 +01:00 
		 
	
		
			
			
			
			
			
			2018-03-20 07:16:21 +01:00 
		 
	
		
			
			
			
			
			
			2018-07-02 02:34:31 +02:00 
		 
	
		
			
			
			
			
			
			2018-03-20 07:16:21 +01:00 
		 
	
		
			
			
			
			
			
			2018-03-20 07:16:21 +01:00 
		 
	
		
			
			
			
			
			
			2018-03-20 07:16:21 +01:00 
		 
	
		
			
			
			
			
			
			2018-03-20 07:16:21 +01:00 
		 
	
		
			
			
			
			
			
			2018-03-20 07:16:21 +01:00 
		 
	
		
			
			
			
			
			
			2018-03-20 07:16:21 +01:00 
		 
	
		
			
			
			
			
			
			2018-03-20 07:16:21 +01:00 
		 
	
		
			
			
			
			
			
			2018-03-20 07:16:21 +01:00 
		 
	
		
			
			
			
			
			
			2018-03-20 07:16:21 +01:00 
		 
	
		
			
			
			
			
			
			2018-03-20 07:16:21 +01:00 
		 
	
		
			
			
			
			
			
			2018-03-20 07:16:21 +01:00 
		 
	
		
			
			
			
			
			
			2018-03-20 07:16:21 +01:00 
		 
	
		
			
			
			
			
			
			2018-03-20 07:16:21 +01:00 
		 
	
		
			
			
			
			
			
			2018-03-20 07:16:21 +01:00 
		 
	
		
			
			
			
			
			
			2018-03-20 07:16:21 +01:00 
		 
	
		
			
			
			
			
			
			2018-03-20 07:16:21 +01:00 
		 
	
		
			
			
			
			
			
			2018-03-20 07:16:21 +01:00 
		 
	
		
			
			
			
			
			
			2018-03-20 07:16:21 +01:00 
		 
	
		
			
			
			
			
			
			2018-03-20 07:16:21 +01:00 
		 
	
		
			
			
			
			
			
			2018-03-25 19:52:00 -04:00 
		 
	
		
			
			
			
			
			
			2018-03-20 07:16:21 +01:00 
		 
	
		
			
			
			
			
			
			2018-03-20 07:16:21 +01:00 
		 
	
		
			
			
			
			
			
			2018-03-20 07:16:21 +01:00 
		 
	
		
			
			
			
			
			
			2018-03-20 07:16:21 +01:00 
		 
	
		
			
			
			
			
			
			2018-03-20 07:16:21 +01:00 
		 
	
		
			
			
			
			
			
			2018-03-20 07:16:21 +01:00 
		 
	
		
			
			
			
			
			
			2018-03-20 07:16:21 +01:00 
		 
	
		
			
			
			
			
			
			2018-03-20 07:16:21 +01:00 
		 
	
		
			
			
			
			
			
			2018-03-20 07:16:21 +01:00 
		 
	
		
			
			
			
			
			
			2018-03-20 07:16:21 +01:00 
		 
	
		
			
			
			
			
			
			2018-03-20 07:16:21 +01:00 
		 
	
		
			
			
			
			
			
			2018-03-20 07:16:21 +01:00 
		 
	
		
			
			
			
			
			
			2018-03-20 07:16:21 +01:00 
		 
	
		
	
		
			
			
			
			
			
			2018-03-20 07:16:21 +01:00 
		 
	
		
			
			
			
			
			
			2018-03-20 07:16:21 +01:00 
		 
	
		
			
			
			
			
			
			2018-03-20 07:16:21 +01:00 
		 
	
		
			
			
			
			
			
			2018-03-20 07:16:21 +01:00 
		 
	
		
			
			
			
			
			
			2018-03-20 07:16:21 +01:00 
		 
	
		
			
			
			
			
			
			2018-03-20 07:16:21 +01:00 
		 
	
		
			
			
			
			
			
			2018-05-08 11:41:52 +02:00 
		 
	
		
			
			
			
			
			
			2018-03-20 07:16:21 +01:00 
		 
	
		
			
			
			
			
			
			2018-03-20 07:16:21 +01:00 
		 
	
		
			
			
			
			
			
			2018-05-25 15:48:31 -05:00 
		 
	
		
			
			
			
			
			
			2018-03-20 07:16:21 +01:00 
		 
	
		
			
			
			
			
			
			2018-03-20 07:16:21 +01:00 
		 
	
		
			
			
			
			
			
			2018-03-20 07:16:21 +01:00 
		 
	
		
			
			
			
			
			
			2018-03-20 07:16:21 +01:00 
		 
	
		
			
			
			
			
			
			2018-03-20 07:16:21 +01:00