README
author Walther Neuper <wneuper@ist.tugraz.at>
Wed, 19 Dec 2018 12:51:51 +0100
changeset 5236 bdd3733fa7db
parent 4712 69947fa5d447
permissions -rw-r--r--
------ connection to new math-engine on Isabelle2018: question 4 to Lars
     1  README		this file 
     2  admin/		administrative docs of interest for the isac-team
     3  doc/		design documents (urd, srd, add, sdd, usecases) and others
     4  etc/   	not yet used 
     5  isac-java	WindowApplication, ObjectManager, KEStore, Bridge
     6  isac-web	Webservice for ISAC calculations via urls
     7                 ATTENTION: create project in Eclipse from scratch due to
     8                 confusion from NetBeans data: DELETE nbproject/ etc.
     9  xmldata/	theories, problems, methods; examples for tests
    10                 kbase/ not tracked, because data generated from xmldata/
    11                 
    12 --------------------------------------------------------------------------------
    13 --------------------- SEQUENCE IN TIME IS BOTTOM UP BELOW ----------------------
    14 --------------------------------------------------------------------------------
    15 
    16 --------------------------------------------------------------------------------
    17 WNxxxxxx
    18 --------------------------------------------------------------------------------
    19 
    20 --------------------------------------------------------------------------------
    21 WN150706-C BrideLog disappears immediately at start of BridgeMain 
    22 --------------------------------------------------------------------------------
    23 see http://www.ist.tugraz.at/isac/Errors_at_Installation
    24 This error occurred only now, after all has been working -- while the settings
    25 were wrong: there must be some hidden data in Eclipse, which hold at least
    26 Run Configurations.
    27 
    28 --------------------------------------------------------------------------------
    29 WN150706-B experiences with new Project ../test-export
    30 --------------------------------------------------------------------------------
    31 (1) bad names for packages (e.g. "pack-1") confuse eclipse
    32   e.g. don't find "main" in Run > Configurations
    33 (2) renaming class files does not rename class names
    34 (3) only corrected class names request for package declaration
    35 (4) ..all these corrections were not urged in the Package Explorer by "[x] red"
    36 (5) after correction: test-export > Export:
    37   Jar export finished with problems: 
    38     Could not find main method from given launch configuration
    39   (1) PackExpl > Run As > Java Application: OK
    40   (2) MainMenu > Run Configurations:
    41     hell012 (created automatically by (5.1)
    42       Project: test-export
    43       Main class: pack1.hello12             OK
    44     run-test-export-hello-12: Main class <Search> was empty due to (1)
    45 (6) test-export > Export > Lauch configuration "run-test-export-hello-12" OK
    46 
    47 --------------------------------------------------------------------------------
    48 WN150706-A eclipses's export destroyed isac-java --- repair
    49 --------------------------------------------------------------------------------
    50 (0) eclipse > isac-java > Export > Runnable JAR file > Extract required libraries into JAR
    51    WARNING: This operation repacks referenced libraries
    52    THIS WARNING USUALLY DOES NO HARM.
    53 (1) -"- this caused problems at a certain point not noticed:
    54    Error: Could not find or load main class isac.bridge.BridgeMain
    55 (2) found ~/proto3/isac-java/ with empty bin/ and nothing else
    56 ------- repair: set Project from scratch
    57 (3) eclipse > isac-java > Delete
    58    + proto4/repos/isac-java$ rm .classpath
    59    + proto4/repos/isac-java$ rm .project
    60 (4) eclipse > New Project ...
    61    !?! Run Configurations are present again (where were these stored?)
    62 (5) + these eclipse dirs have been updated today
    63   /usr/local/eclipse/configuration 
    64   /usr/local/eclipse/configuration/org.eclipse.osgi ..hier kein entry von heute
    65   /usr/local/eclipse/configuration/org.eclipse.osgi/306/0/.cp/product.png
    66                                                     ..vom 150702
    67   ... these cannot be all, see (4).
    68 
    69 --------------------------------------------------------------------------------
    70 WN150629 create Eclipse project from scratch, delete all? from NetBeans:
    71 --------------------------------------------------------------------------------
    72 # ~/proto4/repos/isac-java$ rm -rf nbproject/
    73 # ~/proto4/repos/isac-java$ rm build.xml
    74 # Eclipse > New > Java Project provides appropriate defaults except
    75  * project location: not "~.proto4/" but "~.proto4/repos/"
    76  * ~.proto4/repos/isac-java/lib/libisabelle-full.jar
    77  * classes are now in "~.proto4/repos/isac-java/lib" instead of
    78    NetBeans with "~.proto4/repos/isac-java/build"