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