From 419d3062c921504fc4b40067c49a83619b974395 Mon Sep 17 00:00:00 2001
From: Kliment Yanev <kliment.yanev@gmail.com>
Date: Thu, 22 Sep 2011 12:43:27 +0200
Subject: [PATCH] Emit binary STLs by default

---
 stltool.py | 19 ++++++++++++++++++-
 1 file changed, 18 insertions(+), 1 deletion(-)

diff --git a/stltool.py b/stltool.py
index 10168cb..130fdad 100644
--- a/stltool.py
+++ b/stltool.py
@@ -38,9 +38,26 @@ m=[
     [0,0,0,1]
 ]
 
-def emitstl(filename,facets=[],objname="stltool_export"):
+def emitstl(filename,facets=[],objname="stltool_export",binary=1):
     if filename is None:
         return
+    if binary:
+        f=open(filename,"wb")
+        buf="".join(["\0"]*80)
+        buf+=struct.pack("<I",len(facets))
+        facetformat=struct.Struct("<ffffffffffffH")
+        for i in facets:
+            l=list(i[0][:])
+            for j in i[1]:
+                l+=j[:]
+            l+=[0]
+            #print len(l)
+            buf+=facetformat.pack(*l)
+        f.write(buf)
+        f.close()
+        return
+        
+
     f=open(filename,"w")
     f.write("solid "+objname+"\n")
     for i in facets: