|
0
|
1 <?xml version="1.0"?>
|
|
|
2 <tool_dependency>
|
|
|
3 <package name="searchgui" version="1.18.0">
|
|
|
4 <install version="1.0">
|
|
|
5 <actions>
|
|
9
|
6 <action type="download_by_url" target_filename="SearchGUI-1.18.4-beta.tar.gz">http://share.gruenings.eu/SearchGUI-1.18.4-beta.tar.gz</action>
|
|
0
|
7 <action type="shell_command">chmod -R o+w resources</action>
|
|
|
8 <action type="move_directory_files">
|
|
|
9 <source_directory>.</source_directory>
|
|
|
10 <destination_directory>$INSTALL_DIR/</destination_directory>
|
|
|
11 </action>
|
|
|
12 <action type="set_environment">
|
|
|
13 <environment_variable name="PATH" action="prepend_to">$INSTALL_DIR</environment_variable>
|
|
|
14 <environment_variable name="SEARCHGUI_ROOT_PATH" action="set_to">$INSTALL_DIR</environment_variable>
|
|
9
|
15 <environment_variable name="SEARCHGUI_JAR_PATH" action="set_to">$INSTALL_DIR/SearchGUI-1.18.4-beta.jar</environment_variable>
|
|
0
|
16 </action>
|
|
|
17 </actions>
|
|
|
18 </install>
|
|
|
19 <readme>
|
|
3
|
20 Install Galaxy package application for SearchGUI 1.18.4.
|
|
0
|
21 http://code.google.com/p/searchgui/
|
|
|
22 </readme>
|
|
|
23 </package>
|
|
|
24 </tool_dependency>
|
