diff options
Diffstat (limited to 'contrib/libstdc++/config/elf.ml')
-rw-r--r-- | contrib/libstdc++/config/elf.ml | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/contrib/libstdc++/config/elf.ml b/contrib/libstdc++/config/elf.ml new file mode 100644 index 0000000..2a5f336 --- /dev/null +++ b/contrib/libstdc++/config/elf.ml @@ -0,0 +1,8 @@ +# Elf without shared libm -- we have to link with the archive library, even +# for programs that don't use complex. + +LIBS = $(ARLIB) $(SHLIB) $(SHLINK) +SHFLAGS = -h $(SHLIB) +DEPLIBS = ../$(SHLIB) +LDLIBS = -L.. -lstdc++ -lm +MLDLIBS = -L.. -lstdc++ -lm |