diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-11-03T16·51+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-11-03T16·51+0000 |
| commit | 4cbd845aa491b5cf534f8c031d285fc454933868 (patch) | |
| tree | bd2c9a353cfee46903895dc5ca8e8bb91cd49cb0 /externals | |
| parent | 5f2c5a306cf59d3b2400aba5c1be403e4b6e79c5 (diff) | |
* Don't propagate our CFLAGS to the ATerm library since it breaks at
-O2.
Diffstat (limited to 'externals')
| -rw-r--r-- | externals/Makefile.am | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/externals/Makefile.am b/externals/Makefile.am index 8741967618..150f23ff22 100644 --- a/externals/Makefile.am +++ b/externals/Makefile.am @@ -56,8 +56,7 @@ else build-aterm: have-aterm (pfx=`pwd` && \ cd $(ATERM) && \ - CC="$(CC)" ./configure --prefix=$$pfx/inst-aterm \ - --with-cflags="-DNDEBUG -DXGC_VERBOSE -DXHASHPEM -DWITH_STATS $(CFLAGS)" && \ + CC="$(CC)" ./configure --prefix=$$pfx/inst-aterm && \ make && \ make install) touch build-aterm |