4 Commits

Author	SHA1	Message	Date
Tomas Hlavaty	eb1784d0e7	sbcl: remove duplicate --core argument	2015-10-20 22:19:54 +02:00
John Wiegley	68c6ca44e6	sbcl_1_2_0: port over joelteon's change to 1.2.8	2015-02-12 15:05:37 -06:00
John Wiegley	28b6fb61e6	Change occurrences of gcc to the more general cc ... This is done for the sake of Yosemite, which does not have gcc, and yet this change is also compatible with Linux.	2014-12-26 11:06:21 -06:00
Michael Raskin	a517dfcf71	Fix ACL2	2014-09-04 14:41:35 +04:00