Perhaps we should make use.libstdc++6=true the default? Or maybe even try
a little harder to make a better guess at the default with a patch like
the one appended?
-Mark
Index: working_classlib/make/properties.xml
===================================================================
--- working_classlib/make/properties.xml (revision 741852)
+++ working_classlib/make/properties.xml (working copy)
@@ -313,6 +313,12 @@
</condition>
<property name="hy.portlib.stubs" value="false" />
+ <condition property="use.libstdc++6" value="true">
+ <and>
+ <isset property="is.linux" />
+ <available file="/usr/lib/libstdc++.so.6" type="file" />
+ </and>
+ </condition>
<condition property="hy.libstdc++.suffix" value=".libstdc++6">
<isset property="use.libstdc++6"/>
</condition>
Index: common_resources/make/properties.xml
===================================================================
--- common_resources/make/properties.xml (revision 741852)
+++ common_resources/make/properties.xml (working copy)
@@ -69,6 +69,12 @@
<property name="hy.test.timeout" value="900000" />
<property name="hy.test.vmargs" value="" />
+ <condition property="use.libstdc++6" value="true">
+ <and>
+ <isset property="is.linux" />
+ <available file="/usr/lib/libstdc++.so.6" type="file" />
+ </and>
+ </condition>
<condition property="hy.platform.suffix" value=".libstdc++6">
<isset property="use.libstdc++6"/>
</condition>
