greenstone.org greenstone wiki greenstone trac planet greenstone

Changeset 17812

Show
Ignore:
Timestamp:
2008-11-11 15:16:39 (2 months ago)
Author:
oranfry
Message:

create usage.txt files and +x executables for source release

Files:

Legend:

Unmodified
Added
Removed
Modified
Copied
Moved
  • release-kits/lirk2/installer/build.xml

    r17786 r17812  
    9191                <rsr file="${installDir}/etc/main.cfg" pattern="^status .*" replacement="status enabled"/> 
    9292 
     93                <echo>Create usage.txt</echo> 
     94                <echo file="${installDir}/etc/usage.txt"></echo> 
     95 
    9396                <echo>Creating installation properties file</echo> 
    9497                <echo file="${installDir}/etc/installation.properties">#this file is just a placeholder for now</echo> 
     
    122125                <delete file="source-release.comp"/> 
    123126 
     127                <echo>Setting Binaries to Executable</echo> 
     128                <chmod dir="${installDir}" includes="*.sh,*.bash,**/configure" perm="775"/> 
     129                <chmod dir="${installDir}/bin/linux" includes="*" perm="775"/> 
     130                <chmod dir="${installDir}/bin" includes="*" perm="775"/> 
     131                <chmod dir="${installDir}/cgi-bin" includes="*" perm="775"/> 
     132                <chmod dir="${installDir}/bin/script" includes="**/*" perm="775"/> 
     133                <chmod dir="${installDir}/gli" includes="*.sh" perm="775"/> 
     134                <echo/> 
     135 
    124136                <echo>Set the installation locale in config files</echo> 
    125137                <rsr file="${installDir}/setup.bash" pattern="^gsdllang=.*" replacement="gsdllang=${language}"/> 
     
    137149                <rsr file="${installDir}/etc/main.cfg" pattern="^status .*" replacement="status enabled"/> 
    138150 
     151                <echo>Create usage.txt</echo> 
     152                <echo file="${installDir}/etc/usage.txt"></echo> 
     153 
    139154                <echo>Creating installation properties file</echo> 
    140155                <echo file="${installDir}/etc/installation.properties">#this file is just a placeholder for now</echo> 
     
    142157        </target> 
    143158 
    144  
    145159</project>