diff options
| author | Matthew Bauer <mjbauer95@gmail.com> | 2019-02-13 00:03:10 -0500 |
|---|---|---|
| committer | Matthew Bauer <mjbauer95@gmail.com> | 2019-02-13 00:03:10 -0500 |
| commit | 7ce1fae59f6cb4341f61a48a5216cb252e4eca54 (patch) | |
| tree | 949694cbe850b79001cba63612a63d2d2481dc1f /Makefile.config.in | |
| parent | 7a7ec2229834aa294b3e09df7f514b7134287ec2 (diff) | |
Support --disable-shared flag.
This tells Nix to not build the shared libraries.
Diffstat (limited to 'Makefile.config.in')
| -rw-r--r-- | Makefile.config.in | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Makefile.config.in b/Makefile.config.in index b01a4afbf..59730b646 100644 --- a/Makefile.config.in +++ b/Makefile.config.in @@ -1,4 +1,6 @@ +AR = @AR@ BDW_GC_LIBS = @BDW_GC_LIBS@ +BUILD_SHARED_LIBS = @BUILD_SHARED_LIBS@ CC = @CC@ CFLAGS = @CFLAGS@ CXX = @CXX@ |