Merge remote-tracking branch 'upstream/master' into HEAD

2017-09-06 14:01:25 +02:00
parent 40e917d35d 67651d80bc
commit 38dc9a870f
41 changed files with 1681 additions and 1056 deletions
@@ -0,0 +1,2 @@
+export NIX_CXXSTDLIB_COMPILE+="-isystem $(echo -n @gcc@/include/c++/*) -isystem $(echo -n @gcc@/include/c++/*)/$(@gcc@/bin/gcc -dumpmachine)"
+export NIX_CXXSTDLIB_LINK=" -stdlib=libstdc++"