edwinb / EpiVM

Epic - a Supercombinator Compiler

Home Page:http://www.cs.st-andrews.ac.uk/~eb/epic.php

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Respect user's CFLAGS if set

orlitzky opened this issue · comments

Currently while building, the CFLAGS = -Wall -O3 -DUSE_BOEHM are always used. It would be nice if -- when the user has them set already -- the environment CFLAGS could be used. Of course the -DUSE_BOEHM should still be added.

I patched the makefile here: https://gist.github.com/mjorlitzky/9335712 with an example that WORKSFORME. If the user has CFLAGS set, -DUSE_BOEHM is appended to them. Otherwise, the current behaviour is retained.

Changed username, sorry. Gist is here: https://gist.github.com/orlitzky/9335712

We've adopted the patch in Gentoo for now, things seem fine so far =)

Reference: https://bugs.gentoo.org/show_bug.cgi?id=438422