- Better builders and naming.

- Some cleanup.
2006-11-23 11:46:33 +00:00 · 2006-11-23 11:46:33 +00:00 · 271550a55a
commit 271550a55a
parent 31d8ff02b6
7 changed files with 3 additions and 1 deletions
--- a/gui/Bin/Scyther.exe
+++ b/gui/Bin/Scyther.exe
--- a/gui/Bin/scyther-linux
+++ b/gui/Bin/scyther-linux
--- a/gui/Bin/scyther-osx-intel
+++ b/gui/Bin/scyther-osx-intel
--- a/gui/Bin/scyther-ppc
+++ b/gui/Bin/scyther-ppc
--- a/gui/Bin/scyther-w32.exe
+++ b/gui/Bin/scyther-w32.exe
--- a/gui/Scyther/Scyther.py
+++ b/gui/Scyther/Scyther.py
@ -56,7 +56,7 @@ def getScytherBackend():
    elif sys.platform.startswith('win'):

        """ Windows """
-        scythername = "Scyther.exe"
+        scythername = "scyther-w32.exe"

    else:

--- a/src/copy2gui.sh
+++ b/src/copy2gui.sh
@ -1,4 +1,6 @@
 #!/bin/sh

 cp scyther-linux ../gui/Bin
+cp scyther-w32.exe ../gui/Bin
+cp scyther-osx ../gui/Bin