[pet] Is PET supported on Ubuntu?

[Peter Adolphs]

Hi!

Bill McNeill (UW) wrote:
> I just tried to build pet-0.99-12 on Ubuntu.  I see the following error
> when I try to run configure:

pet-0.99-12 is rather old. The error you're experiencing should be fixed in the
SVN version, so I recommend using that. It builds fine on Ubuntu.

Cheers,

Peter

-- 
Peter Adolphs
DFKI GmbH, Projektbuero Berlin, Rosenstrasse 2, D-10178 Berlin
Telefon: 030 / 24 31 02 - 183
_______________________________________________________________

Deutsches Forschungszentrum fuer Kuenstliche Intelligenz GmbH
Firmensitz: Trippstadter Strasse 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