mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-11-24 16:03:23 +00:00
22 lines
698 B
Diff
22 lines
698 B
Diff
--- a/src/mk 2010-05-02 01:15:42.000000000 +0200
|
|
+++ b/src/mk 2018-01-27 17:07:23.539092748 +0100
|
|
@@ -5,14 +5,14 @@
|
|
rm -f *.o muscle.make.stdout.txt muscle.make.stderr.txt
|
|
for CPPName in $CPPNames
|
|
do
|
|
- echo $CPPName >> /dev/tty
|
|
+ echo $CPPName
|
|
g++ $ENV_GCC_OPTS -c -O3 -msse2 -mfpmath=sse -D_FILE_OFFSET_BITS=64 -DNDEBUG=1 $CPPName.cpp -o $CPPName.o >> muscle.make.stdout.txt 2>> muscle.make.stderr.txt
|
|
done
|
|
|
|
LINK_OPTS=
|
|
-if [ `uname -s` == Linux ] ; then
|
|
- LINK_OPTS=-static
|
|
-fi
|
|
+#if [ `uname -s` == Linux ] ; then
|
|
+# LINK_OPTS=-static
|
|
+#fi
|
|
g++ $LINK_OPTS $ENV_LINK_OPTS -g -o muscle $ObjNames >> muscle.make.stdout.txt 2>> muscle.make.stderr.txt
|
|
tail muscle.make.stderr.txt
|
|
|