diff options
Diffstat (limited to 'libstdc++/config/linux.ml')
-rw-r--r-- | libstdc++/config/linux.ml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/libstdc++/config/linux.ml b/libstdc++/config/linux.ml new file mode 100644 index 00000000000..7e6eecee80c --- /dev/null +++ b/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) |