4. praktische Übung
-
- Kernelcompilierer
- Beiträge: 430
- Registriert: 16. Okt 2009 09:48
4. praktische Übung
Die 4. praktische Übung ist online. Zum Lösen der Übung ist VeriFun 3.3 erforderlich. Dies kann auf der VeriFun Webseite oder direkt von der FGdI3 Webseite heruntergeladen werden.
Re: 4. praktische Übung
Hallo,
Unter GNU/Linux bekomme ich nach Ausführen des Installers folgende Fehlermeldung:
Laut gzip handelt es sich also bei dem Binärcode aus dem Skript vf3_3_unix.sh, aus welchem die Datei sfx_archive.tar.gz entsteht, nicht um ein gültiges gzip Format. Es wäre super, wenn mir hier jemand mit einem Fix oder Workaround helfen könnte, so dass ich auch Verifun 3.3 unter Linux laufen lassen kann. 
Unter GNU/Linux bekomme ich nach Ausführen des Installers folgende Fehlermeldung:
Code: Alles auswählen
$ ./vf3_3_unix.sh
gzip: sfx_archive.tar.gz: not in gzip format
I am sorry, but the installer file seems to be corrupted.
If you downloaded that file please try it again. If you
transfer that file with ftp please make sure that you are
using binary mode.

Re: 4. praktische Übung
@xu43uhub: Das gleiche Problem hatte ich mit dem Download von der FGdI III Seite auch. Aber mit dem Download von der VeriFun Seite ging es 
edit: btw: Die alte VeriFun Version am besten nicht deinstallieren, denn die neue Version scheint nicht abwärtskompatibel zu sein.

edit: btw: Die alte VeriFun Version am besten nicht deinstallieren, denn die neue Version scheint nicht abwärtskompatibel zu sein.
Danke fürs lesen.
-
- Mausschubser
- Beiträge: 49
- Registriert: 28. Sep 2009 11:39
Re: 4. praktische Übung
Seltsamerweise funktioniert die Version, die man über die Verifun-Seite bekommt; die Version von der FGdI3-Seite aber nicht.
Edit: Voherigen Beitrag nicht gesehen.
Edit: Voherigen Beitrag nicht gesehen.
Re: 4. praktische Übung
irgendwie funktioniert der Workaround für Java 6 nicht mehr, schade 
Ist es denn schon auf den Poolrechnern installiert?

Ist es denn schon auf den Poolrechnern installiert?
-
- Mausschubser
- Beiträge: 49
- Registriert: 28. Sep 2009 11:39
Re: 4. praktische Übung
Also bei mir funktioniert bei der Version von der Verifun-Seite immer noch das Rauspatchen der Überprüfung in der .sh-Datei (darauf achten, dass du deinen Editor daran hinderst am Ende eine newline anzufügen und auf binär schaltest).JulM hat geschrieben:irgendwie funktioniert der Workaround für Java 6 nicht mehr, schade
Ist es denn schon auf den Poolrechnern installiert?
Re: 4. praktische Übung
Hi,
bei mir mit win7x64 schmiert der installer jedes mal ab. Ich habe alle möglichen Kompatibilitätsmodi probiert, aber die helfen nicht. Hat jemand nen ähnliches Problem. Am besten mit Lösung...
bei mir mit win7x64 schmiert der installer jedes mal ab. Ich habe alle möglichen Kompatibilitätsmodi probiert, aber die helfen nicht. Hat jemand nen ähnliches Problem. Am besten mit Lösung...
Re: 4. praktische Übung
Wo ist denn dieser sh-Patch dokumentiert?
Ich habe JRE 1.5 installiert und ich bekomme immernoch:
Meine .install4j
Bitte um Hilfe.
Danke,
Markus
Ich habe JRE 1.5 installiert und ich bekomme immernoch:
Code: Alles auswählen
No suitable Java Virtual Machine could be found on your system.
The version of the JVM must be at least 1.5 and at most 1.5.
Please define INSTALL4J_JAVA_HOME to point to a suitable JVM.
You can also try to delete the JVM cache file /home/markus/.install4j
Code: Alles auswählen
JRE_VERSION /usr 1 5 0 18
JRE_VERSION /opt/VP_Suite5.0/jre 1 6 0 20
JRE_INFO /opt/VP_Suite5.0/jre 0
JRE_VERSION /usr 1 6 0 20
JRE_INFO /usr 106
JRE_VERSION /usr/java/jre1.5.0 0
JRE_INFO /usr/java/jre1.5.0 0
JRE_VERSION /usr/java/jre1.5.0_22 0
JRE_INFO /usr/java/jre1.5.0_22 0
JRE_VERSION /usr/lib/jvm/default-java 1 6 0 20
JRE_INFO /usr/lib/jvm/default-java 106
JRE_VERSION /usr/lib/jvm/java-1.6.0-openjdk 1 6 0 20
JRE_INFO /usr/lib/jvm/java-1.6.0-openjdk 106
JRE_VERSION /usr/lib/jvm/java-6-openjdk 1 6 0 20
JRE_INFO /usr/lib/jvm/java-6-openjdk 106
INSTALL4J_JAVA_HOME /usr/java/jre1.5.0_22 0
Danke,
Markus
Re: 4. praktische Übung
Installation war kein Problem, musste es jedoch in der Konsole installieren,da ich nen blöden Fehler erhalte.
Zudem lässt sich Verifun3.3 deswegen nicht starten.
Seltsamerweise ging alles mit 3.2.2....
Hängt wohl mit Compiz zusammen (laut Google).
@mheinrich: Hast du die jvm "richtig" installiert oder nur entpackt? Schau mal, ob sie unter "sudo update-java-alternatives -l" auftaucht... Dann einfach mit "sudo update-java-alternatives -s java-1.5.0-sun" auf java 5 umstellen und Verifun installieren.
Zudem lässt sich Verifun3.3 deswegen nicht starten.
Seltsamerweise ging alles mit 3.2.2....
Code: Alles auswählen
~/VeriFun/VeriFun_3.3$ ./VeriFun3.3
Runtime link error - it appears that libXt got loaded before libXm,
which is not allowed.
@mheinrich: Hast du die jvm "richtig" installiert oder nur entpackt? Schau mal, ob sie unter "sudo update-java-alternatives -l" auftaucht... Dann einfach mit "sudo update-java-alternatives -s java-1.5.0-sun" auf java 5 umstellen und Verifun installieren.
-
- Kernelcompilierer
- Beiträge: 430
- Registriert: 16. Okt 2009 09:48
Re: 4. praktische Übung
Das Problem beim Herunterladen der Unix Datei von der FGdI3 Webseite ist behoben.
Sowohl VeriFun 3.3 als auch VeriFun 3.2.2 sind auf den Poolrechnern installiert. Mit "verifun" startet man 3.3, mit "verifun322" startet man 3.2.2.
Sowohl VeriFun 3.3 als auch VeriFun 3.2.2 sind auf den Poolrechnern installiert. Mit "verifun" startet man 3.3, mit "verifun322" startet man 3.2.2.
Re: 4. praktische Übung
Ich hab unter Windows 7 (64 Bit) auch das Problem das sich das Programm nicht installieren lässt. Wenn ich die Installation starten will lädt der Balken des Wizards zu ca. 80%, bleibt stehen und es erscheint eine error.log:
Code: Alles auswählen
Exception in thread "AWT-EventQueue-0" java.lang.NullPointerException
at java.awt.Dimension.<init>(Unknown Source)
at javax.swing.plaf.basic.BasicProgressBarUI.getPreferredSize(Unknown Source)
at javax.swing.JComponent.getPreferredSize(Unknown Source)
at java.awt.GridBagLayout.GetLayoutInfo(Unknown Source)
at java.awt.GridBagLayout.getLayoutInfo(Unknown Source)
at java.awt.GridBagLayout.preferredLayoutSize(Unknown Source)
at java.awt.Container.preferredSize(Unknown Source)
at java.awt.Container.getPreferredSize(Unknown Source)
at javax.swing.JComponent.getPreferredSize(Unknown Source)
at java.awt.GridBagLayout.GetLayoutInfo(Unknown Source)
at java.awt.GridBagLayout.getLayoutInfo(Unknown Source)
at java.awt.GridBagLayout.preferredLayoutSize(Unknown Source)
at java.awt.Container.preferredSize(Unknown Source)
at java.awt.Container.getPreferredSize(Unknown Source)
at javax.swing.JComponent.getPreferredSize(Unknown Source)
at java.awt.GridBagLayout.GetLayoutInfo(Unknown Source)
at java.awt.GridBagLayout.getLayoutInfo(Unknown Source)
at java.awt.GridBagLayout.ArrangeGrid(Unknown Source)
at java.awt.GridBagLayout.arrangeGrid(Unknown Source)
at java.awt.GridBagLayout.layoutContainer(Unknown Source)
at java.awt.Container.layout(Unknown Source)
at java.awt.Container.doLayout(Unknown Source)
at java.awt.Container.validateTree(Unknown Source)
at java.awt.Container.validateTree(Unknown Source)
at java.awt.Container.validateTree(Unknown Source)
at java.awt.Container.validateTree(Unknown Source)
at java.awt.Container.validateTree(Unknown Source)
at java.awt.Container.validateTree(Unknown Source)
at java.awt.Container.validateTree(Unknown Source)
at java.awt.Container.validate(Unknown Source)
at java.awt.Window.show(Unknown Source)
at java.awt.Component.show(Unknown Source)
at java.awt.Component.setVisible(Unknown Source)
at com.install4j.runtime.wizard.WizardBase.setVisible(Unknown Source)
at com.install4j.runtime.wizard.WizardBase.showFrame(Unknown Source)
at com.install4j.runtime.installer.frontend.WizardScreenExecutor.execute(Unknown Source)
at com.install4j.runtime.installer.controller.Controller$1.run(Unknown Source)
at java.awt.event.InvocationEvent.dispatch(Unknown Source)
at java.awt.EventQueue.dispatchEvent(Unknown Source)
at java.awt.EventDispatchThread.pumpOneEventForHierarchy(Unknown Source)
at java.awt.EventDispatchThread.pumpEventsForHierarchy(Unknown Source)
at java.awt.EventDispatchThread.pumpEvents(Unknown Source)
at java.awt.EventDispatchThread.pumpEvents(Unknown Source)
at java.awt.EventDispatchThread.run(Unknown Source)
Exception in thread "AWT-EventQueue-0" java.lang.NullPointerException
at java.awt.Dimension.<init>(Unknown Source)
at javax.swing.plaf.basic.BasicProgressBarUI.getPreferredSize(Unknown Source)
at javax.swing.JComponent.getPreferredSize(Unknown Source)
at java.awt.GridBagLayout.GetLayoutInfo(Unknown Source)
at java.awt.GridBagLayout.getLayoutInfo(Unknown Source)
at java.awt.GridBagLayout.preferredLayoutSize(Unknown Source)
at java.awt.Container.preferredSize(Unknown Source)
at java.awt.Container.getPreferredSize(Unknown Source)
at javax.swing.JComponent.getPreferredSize(Unknown Source)
at java.awt.GridBagLayout.GetLayoutInfo(Unknown Source)
at java.awt.GridBagLayout.getLayoutInfo(Unknown Source)
at java.awt.GridBagLayout.preferredLayoutSize(Unknown Source)
at java.awt.Container.preferredSize(Unknown Source)
at java.awt.Container.getPreferredSize(Unknown Source)
at javax.swing.JComponent.getPreferredSize(Unknown Source)
at java.awt.GridBagLayout.GetLayoutInfo(Unknown Source)
at java.awt.GridBagLayout.getLayoutInfo(Unknown Source)
at java.awt.GridBagLayout.ArrangeGrid(Unknown Source)
at java.awt.GridBagLayout.arrangeGrid(Unknown Source)
at java.awt.GridBagLayout.layoutContainer(Unknown Source)
at java.awt.Container.layout(Unknown Source)
at java.awt.Container.doLayout(Unknown Source)
at java.awt.Container.validateTree(Unknown Source)
at java.awt.Container.validateTree(Unknown Source)
at java.awt.Container.validate(Unknown Source)
at com.install4j.runtime.wizard.StandardScreen$1.componentResized(Unknown Source)
at java.awt.Component.processComponentEvent(Unknown Source)
at java.awt.Component.processEvent(Unknown Source)
at java.awt.Container.processEvent(Unknown Source)
at java.awt.Component.dispatchEventImpl(Unknown Source)
at java.awt.Container.dispatchEventImpl(Unknown Source)
at java.awt.Component.dispatchEvent(Unknown Source)
at java.awt.EventQueue.dispatchEvent(Unknown Source)
at java.awt.EventDispatchThread.pumpOneEventForHierarchy(Unknown Source)
at java.awt.EventDispatchThread.pumpEventsForHierarchy(Unknown Source)
at java.awt.EventDispatchThread.pumpEvents(Unknown Source)
at java.awt.EventDispatchThread.pumpEvents(Unknown Source)
at java.awt.EventDispatchThread.run(Unknown Source)
Re: 4. praktische Übung
Sushi hat geschrieben:Ich hab unter Windows 7 (64 Bit) auch das Problem das sich das Programm nicht installieren lässt. Wenn ich die Installation starten will lädt der Balken des Wizards zu ca. 80%, bleibt stehen und es erscheint eine error.log:
Code: Alles auswählen
Exception in thread "AWT-EventQueue-0" java.lang.NullPointerException at java.awt.Dimension.<init>(Unknown Source) at javax.swing.plaf.basic.BasicProgressBarUI.getPreferredSize(Unknown Source) at javax.swing.JComponent.getPreferredSize(Unknown Source) at java.awt.GridBagLayout.GetLayoutInfo(Unknown Source) at java.awt.GridBagLayout.getLayoutInfo(Unknown Source) at java.awt.GridBagLayout.preferredLayoutSize(Unknown Source) at java.awt.Container.preferredSize(Unknown Source) at java.awt.Container.getPreferredSize(Unknown Source) at javax.swing.JComponent.getPreferredSize(Unknown Source) at java.awt.GridBagLayout.GetLayoutInfo(Unknown Source) at java.awt.GridBagLayout.getLayoutInfo(Unknown Source) at java.awt.GridBagLayout.preferredLayoutSize(Unknown Source) at java.awt.Container.preferredSize(Unknown Source) at java.awt.Container.getPreferredSize(Unknown Source) at javax.swing.JComponent.getPreferredSize(Unknown Source) at java.awt.GridBagLayout.GetLayoutInfo(Unknown Source) at java.awt.GridBagLayout.getLayoutInfo(Unknown Source) at java.awt.GridBagLayout.ArrangeGrid(Unknown Source) at java.awt.GridBagLayout.arrangeGrid(Unknown Source) at java.awt.GridBagLayout.layoutContainer(Unknown Source) at java.awt.Container.layout(Unknown Source) at java.awt.Container.doLayout(Unknown Source) at java.awt.Container.validateTree(Unknown Source) at java.awt.Container.validateTree(Unknown Source) at java.awt.Container.validateTree(Unknown Source) at java.awt.Container.validateTree(Unknown Source) at java.awt.Container.validateTree(Unknown Source) at java.awt.Container.validateTree(Unknown Source) at java.awt.Container.validateTree(Unknown Source) at java.awt.Container.validate(Unknown Source) at java.awt.Window.show(Unknown Source) at java.awt.Component.show(Unknown Source) at java.awt.Component.setVisible(Unknown Source) at com.install4j.runtime.wizard.WizardBase.setVisible(Unknown Source) at com.install4j.runtime.wizard.WizardBase.showFrame(Unknown Source) at com.install4j.runtime.installer.frontend.WizardScreenExecutor.execute(Unknown Source) at com.install4j.runtime.installer.controller.Controller$1.run(Unknown Source) at java.awt.event.InvocationEvent.dispatch(Unknown Source) at java.awt.EventQueue.dispatchEvent(Unknown Source) at java.awt.EventDispatchThread.pumpOneEventForHierarchy(Unknown Source) at java.awt.EventDispatchThread.pumpEventsForHierarchy(Unknown Source) at java.awt.EventDispatchThread.pumpEvents(Unknown Source) at java.awt.EventDispatchThread.pumpEvents(Unknown Source) at java.awt.EventDispatchThread.run(Unknown Source) Exception in thread "AWT-EventQueue-0" java.lang.NullPointerException at java.awt.Dimension.<init>(Unknown Source) at javax.swing.plaf.basic.BasicProgressBarUI.getPreferredSize(Unknown Source) at javax.swing.JComponent.getPreferredSize(Unknown Source) at java.awt.GridBagLayout.GetLayoutInfo(Unknown Source) at java.awt.GridBagLayout.getLayoutInfo(Unknown Source) at java.awt.GridBagLayout.preferredLayoutSize(Unknown Source) at java.awt.Container.preferredSize(Unknown Source) at java.awt.Container.getPreferredSize(Unknown Source) at javax.swing.JComponent.getPreferredSize(Unknown Source) at java.awt.GridBagLayout.GetLayoutInfo(Unknown Source) at java.awt.GridBagLayout.getLayoutInfo(Unknown Source) at java.awt.GridBagLayout.preferredLayoutSize(Unknown Source) at java.awt.Container.preferredSize(Unknown Source) at java.awt.Container.getPreferredSize(Unknown Source) at javax.swing.JComponent.getPreferredSize(Unknown Source) at java.awt.GridBagLayout.GetLayoutInfo(Unknown Source) at java.awt.GridBagLayout.getLayoutInfo(Unknown Source) at java.awt.GridBagLayout.ArrangeGrid(Unknown Source) at java.awt.GridBagLayout.arrangeGrid(Unknown Source) at java.awt.GridBagLayout.layoutContainer(Unknown Source) at java.awt.Container.layout(Unknown Source) at java.awt.Container.doLayout(Unknown Source) at java.awt.Container.validateTree(Unknown Source) at java.awt.Container.validateTree(Unknown Source) at java.awt.Container.validate(Unknown Source) at com.install4j.runtime.wizard.StandardScreen$1.componentResized(Unknown Source) at java.awt.Component.processComponentEvent(Unknown Source) at java.awt.Component.processEvent(Unknown Source) at java.awt.Container.processEvent(Unknown Source) at java.awt.Component.dispatchEventImpl(Unknown Source) at java.awt.Container.dispatchEventImpl(Unknown Source) at java.awt.Component.dispatchEvent(Unknown Source) at java.awt.EventQueue.dispatchEvent(Unknown Source) at java.awt.EventDispatchThread.pumpOneEventForHierarchy(Unknown Source) at java.awt.EventDispatchThread.pumpEventsForHierarchy(Unknown Source) at java.awt.EventDispatchThread.pumpEvents(Unknown Source) at java.awt.EventDispatchThread.pumpEvents(Unknown Source) at java.awt.EventDispatchThread.run(Unknown Source)
Gleiches Problem unter Win7 32bit, konntest du den Fehler beheben?
-
- Kernelcompilierer
- Beiträge: 430
- Registriert: 16. Okt 2009 09:48
Re: 4. praktische Übung
Hattet Ihr diese Probleme schon bei der Installation von VeriFun 3.2.2?
Re: 4. praktische Übung
NeinNathan Wasser hat geschrieben:Hattet Ihr diese Probleme schon bei der Installation von VeriFun 3.2.2?
Re: 4. praktische Übung
Ich hab es durch eine Neuinstallation von Java gelöst.