1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/README-isac Sat Nov 24 18:27:38 2007 +0100
1.3 @@ -0,0 +1,10 @@
1.4 +../isac/README
1.5 +
1.6 + CVS/ see ../README-proto2
1.7 + README this file
1.8 + admin/ administrative docs of interest for the isac-team
1.9 + doc/ design documents (urd, srd, add, sdd, usecases) and others
1.10 + etc/ not yet used
1.11 + lib/ tools for java, xml etc.
1.12 + src/ of java-frontend und sml-kernel
1.13 + xmldata/ theories, problems, methods; examples for tests
2.1 --- a/src/java/_INSTALL Sat Nov 24 11:58:00 2007 +0100
2.2 +++ b/src/java/_INSTALL Sat Nov 24 18:27:38 2007 +0100
2.3 @@ -1,4 +1,4 @@
2.4 -Install and start the whole isac-system within eclipse
2.5 +Install isac-system for java-developers within eclipse
2.6 WN0511, WN071122 (eclipse 3.3 on ginkgo)
2.7
2.8 We relate all directories below to the following bases (which actually may
2.9 @@ -9,20 +9,29 @@
2.10 $cvs$ /$eclipse_workspace$/proto2/isac/
2.11 $eclipse$ /usr/local/eclipse/
2.12
2.13 - $demo_instal$ IST/netshares/commons/isac/proto2/
2.14 + $demo_instal$ isacdev@pear.ist.intra:/mnt/hda7/isacdev/workspace/proto2/
2.15
2.16 -INSTALL:
2.17 -
2.18 +==============================================================================
2.19 +install the isac-system:
2.20 +~~~~~~~~~~~~~~~~~~~~~~~~
2.21 #-1# prepare connection to isac's cvs-repository: see
2.22 $cvs$/_INFO-eclipse-cvs.txt and/or
2.23 $cvs$/_INFO-eclipse-cvs-windows.txt how to setup passwordless ssh
2.24 check success with ...
2.25 # ssh _username_@gw.ist.tugraz.at
2.26 - ..which must not request for a password any more.
2.27 + ..which must not request for a password any more !!!
2.28
2.29 -------------------
2.30 +#0..2# TODO...see java 288ff
2.31 # # checking out a project from a cvs repository (=title in help)
2.32
2.33 +...
2.34 +
2.35 + <proto2><Properties><Java Build Path><Default Output Folder> ..$bytecode$
2.36 + (the _whole_ path; with "proto2/bin-all/" dirs parallel to java would be
2.37 + deleted on building/clenaning the project; such dirs, however, are required in )
2.38 +...
2.39 +TODO
2.40 -------------------
2.41 #0# setup an _empty_ project in eclipse:
2.42 # mkdir $eclipse_workspace$/proto2/
2.43 @@ -50,7 +59,7 @@
2.44 ((manually this is:
2.45 cvs -d :ext:USER@gw.ist.tugraz.at:/netshares/commons/isac/.cvs checkout isac
2.46 ))
2.47 - !!!!! See _DIR-STRUCTURE for DELETting certain directories
2.48 + !!!!! See _DIR-STRUCTURE for DELETing certain directories
2.49
2.50 #2# eclipse project setup:
2.51 (<rMouse> on proto2)<Properties><Java Build Path>:
2.52 @@ -63,10 +72,10 @@
2.53 $eclipse$/plugins/org.junit_3.8.1/junit.jar
2.54 (these jars _must_ be located _within_ the eclipse installation;
2.55 see proto2/.classpath if all libs are recorded)
2.56 - Now the red cross in the package-explorer should have disappeared.
2.57 + Now the red cross in the package-explorer should have disappeared !!!
2.58
2.59 #3# generate "~/.java.policy":
2.60 -/------------------------------------------------------------------------------------------------------------------------------------------------------------
2.61 +/----------------------------------------------------------------------------------------------------\
2.62 grant {
2.63 permission java.net.SocketPermission "*:1024-65535", "connect,accept";
2.64 permission java.net.SocketPermission "*:80", "connect";
2.65 @@ -76,47 +85,38 @@
2.66 grant {
2.67 permission java.io.FilePermission "<<ALL FILES>>", "read, write, delete, execute", signedBy "ISAC";
2.68 };
2.69 -\------------------------------------------------------------------------------------------------------------------------------------------------------------
2.70 +\----------------------------------------------------------------------------------------------------/
2.71 comment to the file above:
2.72 permission java.io.FilePermission "/$cvs$/", "read, write, execute";
2.73 must have the _ABSOLUTE_ path ......~~~~~~~
2.74
2.75 -#4# create property-files for the main's arguments
2.76 - # mkdir $cvs$/src/java/properties
2.77 - # copy each _TEMPLATE_ into this directory and adapt the paths
2.78 - e.g. _TEMPLATE_KEStore.properties --> KEStore.properties
2.79 -
2.80 -#5# create directoy with html-files for examples and math knowledge
2.81 +#4# create directoy with html-files for examples and math knowledge
2.82 # mkdir $eclipse_workspace$/proto2/www
2.83 # mkdir $eclipse_workspace$/proto2/www/kbase/
2.84 # $eclipse_workspace$/proto2/www> scp -r $demo_instal$/www/kbase/* .
2.85
2.86 -#6# create the 'run configuration' for the class 'KEStore':
2.87 - open "isac.kestore.KEStore.java" in the 'java perspective',
2.88 - <Run As> <Java Application> by <Run><Run> add the Argument:
2.89 - $cvs$isac/src/java/properties/KEStore.properties
2.90 - and edit this ....................^^^^^^^^^^^^^^^^^^ file according
2.91 - to _TEMPLATE-KEStore.properties
2.92 +#5# create property-files for the main's arguments
2.93 + # mkdir $cvs$/src/java/properties
2.94 + AND PUT IT INTO .cvsignore (these files would destroy other installations):
2.95 + > emacs $cvs$/src/java/.cvsignore &
2.96 + # copy each _TEMPLATE_ into this directory and adapt the paths
2.97 + e.g. _TEMPLATE_KEStore.properties --> KEStore.properties
2.98
2.99 - attention: ABSOLUTE paths !
2.100 -
2.101 - ONLY FOR THIS MODULE add VM-Argument
2.102 - -Djava.rmi.server.codebase=file:///$bytecode$
2.103 -
2.104 -#7# generate "$bytecode$/../sml/bridge.ini" used in #10#:
2.105 -/-----------------------------------------------------------------------------------------------------------------------------
2.106 +#6# prepare connection of BridgeMain to sml mathengine:
2.107 + #a# generate "$bytecode$/../sml/bridge.ini" (referenced in BridgeMain.properties)
2.108 +/------------------------------------------------------------------------\
2.109 transportMode=string
2.110 socketPort=5555
2.111 #_ABSOLUTE_ path to the java bytecode (MUST end with "/"):
2.112 path=/$bytecode$/
2.113 waitMillis=10000
2.114 #_ABSOLUTE_ path to script for starting the isac-SML binary with Poly/ML
2.115 -#and for BridgeLog/, see #9:
2.116 +#and for BridgeLog/, see $cvs$/src/java/_INSTALL #6#b# #6#c#
2.117 kernelExec=/$bytecode$/../sml/START_ISABELLE_2002
2.118 kernelArgs=
2.119 -\-----------------------------------------------------------------------------------------------------------------------------
2.120 -
2.121 -#8# generate "$bytecode$/../sml/START_ISABELLE_2002" used in #7# and make it executable
2.122 +\------------------------------------------------------------------------/
2.123 + TODO: insert bridge.ini into BridgeMain.properties
2.124 + #b# generate "$bytecode$/../sml/START_ISABELLE_2002" and make it executable
2.125 the SML-process of the isac-kernel (heap located at
2.126 "/usr/local/Isabelle2002/heaps/polyml-4.1.3_x86-linux/HOL-Real-Isac")
2.127 is started using the Isabelle-binary in
2.128 @@ -127,51 +127,87 @@
2.129 #####################################################################
2.130
2.131 for running SML-process locally on nb:
2.132 -/------------------------------------------------------------------------------------------
2.133 +/------------------------------------------------------------------------------------\
2.134 /usr/local/Isabelle2002/bin/isabelle HOL-Real-Isac
2.135 -\------------------------------------------------------------------------------------------
2.136 +\------------------------------------------------------------------------------------/
2.137 for running SML-process remotely within IST:
2.138 -/------------------------------------------------------------------------------------------
2.139 +/------------------------------------------------------------------------------------\
2.140 ssh _user_@pear.ist.intra exec /usr/local/Isabelle2002/bin/isabelle HOL-Real-Isac
2.141 -\------------------------------------------------------------------------------------------
2.142 +\------------------------------------------------------------------------------------/
2.143 for running SML-process remotely at IST
2.144 -/------------------------------------------------------------------------------------------
2.145 +/------------------------------------------------------------------------------------\
2.146 ssh _user_@gw.ist.tugraz.at exec /usr/local/Isabelle2002/bin/isabelle HOL-Real-Isac
2.147 -\------------------------------------------------------------------------------------------
2.148 +\------------------------------------------------------------------------------------/
2.149
2.150 further information about the generation and handling of SML (i.e. the isac-kernel)
2.151 via ssh in '$cvs$/src/START_ISABELLE-read.me
2.152 - and '$cvs$/src/java/INFO-eclpise-cvs.txt for rsa-Handling
2.153 + and '$cvs$/src/java/INFO-eclpise-cvs-linux.txt for rsa-Handling
2.154 + > ./START_ISABELLE_2002
2.155 + ... should start the sml mathengine; the version is reported by ...
2.156 + > version_isac;
2.157 + > <ctrl><d> stops the sml-process again.
2.158
2.159 -#9# make the _EXECUTABLE_ directory 'BridgeLog' in proto2/bin-all/sml
2.160 -
2.161 -#10# create the 'run configuration' for 'isac.bridge.BridgeMain'
2.162 - analogously to #5# with _TEMPLATE-BridgeMain.properties
2.163 + #c# generate directory $bytecode$/../sml/BridgeLog and make it executable
2.164
2.165 -#11# create the 'run configuration' for 'isac.session.ObjectManager'
2.166 - analogously to #5# with _TEMPLATE-ObjectManager.properties
2.167 +#7# create the 'run configuration's for the java modules:
2.168 + mark the respective module in the package explorer of the 'java perspective',
2.169 + <rMous><Run As> <Java Application> starts without arguments (errors!)
2.170 + (and inserts the module into the 'run configuration' see #8#
2.171 + # isac.kestore.KEStore.java
2.172 + # isac.bridge.BridgeMain.java
2.173 + # isac.session.ObjectManager.java
2.174 + # isac.gui.WindowApplication.java
2.175 +
2.176 +#8# adapt the 'run configuration's for all modules by providing the path
2.177 + to the respective properties and adding certain VM-Arguments;
2.178 + <Run><Run> opens the configurations inserted in #7#; adapt them as follows
2.179 + # isac.kestore.KEStore.java arguments
2.180 + Program Arguments: $cvs$isac/src/java/properties/KEStore.properties
2.181 + VM-Arguments:
2.182 + # isac.bridge.BridgeMain.java
2.183 + Program Arguments: $cvs$isac/src/java/properties/BridgeMain.properties
2.184 + VM-Arguments: -Djava.rmi.server.codebase=file:///$bytecode$
2.185 + # isac.session.ObjectManager.java
2.186 + Program Arguments: $cvs$isac/src/java/properties/ObjectManager.properties
2.187 + VM-Arguments: -Djava.rmi.server.codebase=file:///$bytecode$
2.188 + # isac.gui.WindowApplication.java
2.189 + Program Arguments: $cvs$isac/src/java/properties/WindowApplication.properties
2.190 + VM-Arguments:
2.191 +
2.192 +#9# start isac (without UserLogger):
2.193 + > rmiregistry 1099 &
2.194 + start with the green icon (>)in the second headline in this order:
2.195 + KEStore > BridgeMain > ObejctManager > WindowApplication
2.196 + For initial tests take <username> x
2.197 + <password> x
2.198 + <login>
2.199 + the console shows "log4j:ERROR" as long as the log4j-logger is not started.
2.200 +
2.201 +==============================================================================
2.202 +install and start the log4j-logger:
2.203 +~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2.204 +Browse http://logging.apache.org/chainsaw/index.html
2.205 +<Click _Download_ link for more information.>
2.206 +<_Java Web Start_>
2.207 +<Open with> /usr/local/jdk1.5.0_06/jre/bin/javaws
2.208 +<Run>
2.209
2.210 -#12# create the 'run configuration' for 'isac.gui.WindowApplication'
2.211 - analogously to #5# with _TEMPLATE-WindowApplication.properties
2.212 +<New SocketReceiver>
2.213 +<name> isac
2.214 +<port> 4445 (see $cvs$/src/java/log4j.properties)
2.215
2.216 -// LOST DURING MOVE TO DMZ on 070223 ...
2.217 -// the WindowApplication uses the "log4j" logger for test-output; "isac/scr/java/log4j.properties"
2.218 -// calls the program "chainsaw" (contained in llibrary "log4j"); the output becomes visible, if
2.219 -// "chainsaw" is started --- adapt "isac/scr/java/build.xml" accordingly.
2.220 -// Further infos at http://jakarta.apache.org/log4j/docs/manual.html
2.221 +==============================================================================
2.222 +generate HTML-files for kbase:
2.223 +~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2.224 +make a 'run configuration' (see #7#8#) for isac.util.genhtml.GenHTML
2.225 +with <Program arguments> $cvs$/src/java/properties/KEStore.properties
2.226
2.227 -The 'run configuration' for BridgeMain and ObjectManager additionally require
2.228 +For generating the knowledge shown to the user ...
2.229 + see $eclipse_workspace$/proto2/www/kbase/README-kbase.txt
2.230
2.231 - -Djava.rmi.server.codebase=file://$bytecode$
2.232 -
2.233 -
2.234 -generate HTML-files for kbase ---> /proto2/isac/xmldata/README
2.235 -<Run GenHTML>
2.236 -
2.237 -======================================================
2.238 -
2.239 +==============================================================================
2.240 generate isac.jar in eclipse 3.1.2
2.241 -----------------------------------
2.242 +~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2.243 > File -> Export ... -> Jar File -> Next
2.244 > select components (e.g. src/java)
2.245 > select at least 'Export Generated Class files and resources'