diff options
Diffstat (limited to 'contrib/libstdc++/config/linux.ml')
-rw-r--r-- | contrib/libstdc++/config/linux.ml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/contrib/libstdc++/config/linux.ml b/contrib/libstdc++/config/linux.ml new file mode 100644 index 0000000..7e6eece --- /dev/null +++ b/contrib/libstdc++/config/linux.ml @@ -0,0 +1,6 @@ +# Elf with shared libm, so we can link it into the shared libstdc++. + +LIBS = $(ARLIB) $(SHLIB) $(SHLINK) mshlink +SHFLAGS = -Wl,-soname,$(MSHLINK) +SHDEPS = -lm +DEPLIBS = ../$(SHLIB) |