1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-23 22:20:51 +00:00
Commit graph

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