This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

Bug 545

Summary:	Build fails due to typo in configure script.
Product:	DBM	Reporter:	mihirthegenius
Component:	base	Assignee:	Alexandre David <adavid>
Status:	NEW ---
Severity:	blocker
Priority:	P5
Version:	unspecified
Hardware:	PC
OS:	Linux
Architecture:

Description mihirthegenius 2013-02-13 19:23:10 CET

Downloading a tarball, extracting and building fails at the "make all" stage because the AR environment variable gets set to the empty string. However, if ./setup.sh is used instead of ./configure, the build completes.