[gambit-list] Proposed changes to makefile targets

Bradley Lucier lucier at math.purdue.edu
Sat Jun 6 14:30:47 EDT 2009


On Jun 5, 2009, at 6:47 PM, Marc Feeley wrote:

> To remove the confusion I'm going to rename the targets as follows:
>
>     new "clean" target = old "mostlyclean" target
>
>     new "realclean" target = old "clean" target + old "realclean"  
> target
>
> The mostlyclean target will be removed.
>
> Moreover, a "make" will be equivalent to a "make bootstrap" unless the
> gsc-comp (Gambit compiler for bootstrapping) exists.  This way, the
> user can get out of trouble if he does a "make realclean" after a
> "make".
>
> Please let me know if you have suggestions.

Sounds good.

Brad


More information about the Gambit-list mailing list