[Rock-dev] Documentation generation for roby
Steffen Planthaber
Steffen.Planthaber at dfki.de
Wed Jun 11 13:56:50 CEST 2014
Hi,
Should it use ruby 2.0?
It looks like the ruby versions are mixed up:
2014-06-11 09:32:29 +0000: running
/usr/bin/ruby1.9.1 /usr/bin/rake redocs
in directory
/data/jenkins/workspace/workspace/rock/Flavor/master/node/Debian_testing/dev/tools/roby
/data/jenkins/workspace/workspace/rock/Flavor/master/node/Debian_testing/dev/.gems/gems/json-1.8.1/lib/json/common.rb:67:
[BUG] Segmentation fault
ruby 2.0.0p457 (2014-03-03) [x86_64-linux-gnu]
The rock_doc script used the system default gem (2.0) to generate needed
gems for doc generation, I changed that to gem1.9.1 in the script now,
lets see what happens.
Best, Steffen
Am 11.06.2014 11:44, schrieb Matthias Goldhoorn:
> I figured out the problem with roby's doc generation on the buildserver,
> it simply crashed.
>
> Could anyone, else trace this problem?
> See logfile attached..
>
> Best,
> Matthias
>
>
>
> _______________________________________________
> Rock-dev mailing list
> Rock-dev at dfki.de
> http://www.dfki.de/mailman/cgi-bin/listinfo/rock-dev
>
--
Steffen Planthaber
Weltraumrobotik
Besuchsadresse der Nebengeschäftstelle:
DFKI GmbH
Robotics Innovation Center
Robert-Hooke-Straße 5
28359 Bremen, Germany
Postadresse der Hauptgeschäftsstelle Standort Bremen:
DFKI GmbH
Robotics Innovation Center
Robert-Hooke-Straße 1
28359 Bremen, Germany
Tel.: +49 421 178 45-4125
Zentrale: +49 421 178 45-0
Fax: +49 421 178 45-4150 (Faxe bitte namentlich kennzeichnen)
E-Mail: Steffen.Planthaber at dfki.de
Weitere Informationen: http://www.dfki.de/robotik
-----------------------------------------------------------------------
Deutsches Forschungszentrum fuer Kuenstliche Intelligenz GmbH
Firmensitz: Trippstadter Straße 122, D-67663 Kaiserslautern
Geschaeftsfuehrung: Prof. Dr. Dr. h.c. mult. Wolfgang Wahlster
(Vorsitzender) Dr. Walter Olthoff
Vorsitzender des Aufsichtsrats: Prof. Dr. h.c. Hans A. Aukes
Amtsgericht Kaiserslautern, HRB 2313
Sitz der Gesellschaft: Kaiserslautern (HRB 2313)
USt-Id.Nr.: DE 148646973
Steuernummer: 19/673/0060/3
-----------------------------------------------------------------------
More information about the Rock-dev
mailing list