Enable CFLAGS and LDFLAGS from the command line

[Olivier Crameri]

Hi,

here is a tiny patch to simplify passing of extra flags from the command line.

I'd appreciate if this could be committed to the repository.

Thanks,

Olivier

--- scripts/Makefile.common (revision 1402)

+++ scripts/Makefile.common (working copy)

@@ -39,8 +39,8 @@

 endif

 

 

-LDFLAGS = $(LDFLAGS_BASE)

-CFLAGS = $(CFLAGS_BASE) $(CFLAGS_M32)

+LDFLAGS += $(LDFLAGS_BASE)

+CFLAGS += $(CFLAGS_BASE) $(CFLAGS_M32)

 

 

 #Required by minisat2.2 

[Trevor Hansen]

Hi Olivier,

Thanks for the patch. It's included in revision 1406.

Thanks,

Trev.



On Oct 13, 1:45 am, Olivier Crameri <olivier.cram...@a3.epfl.ch>
wrote: