make drivers executable by default

Author: Alexander Shiryaev

Coco.py

@@ -1,3 +1,4 @@
+#! /usr/bin/env python
 #/*-------------------------------------------------------------------------
 #Coco.py -- the Compiler Driver
 #Compiler Generator Coco/R,

DriverGen.py

@@ -52,6 +52,7 @@ def WriteDriver( ):
       #DriverGen.codeGen.write( Tab.gramSy.name )
       DriverGen.codeGen.CopyFramePart( '$$$' )
       DriverGen.codeGen.close( )
+      os.chmod(fn, 0755)
 
    @staticmethod
    def Init( f, dir ):

frames/Driver.frame

@@ -1,3 +1,4 @@
+#! /usr/bin/env python
 #/*-------------------------------------------------------------------------
 #Coco.py -- the Compiler Driver
 #Compiler Generator Coco/R,

sources/Coco.frame

@@ -1,3 +1,4 @@
+#! /usr/bin/env python
 #/*-------------------------------------------------------------------------
 #Coco.py -- the Compiler Driver
 #Compiler Generator Coco/R,