Gotta love subtle differences between cmake 2.8.2 and 2.8.7. Builds on both Debian 6.0 and Ubuntu 12.04 now. git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1391 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
Gotta love subtle differences between cmake 2.8.2 and 2.8.7. Builds on both Debian 6.0 and Ubuntu 12.04 now. git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1391 8c4709b5-6ec9-48aa-a5cd-a96041d1645a