.cproject Update

[Carolyn Oates]

Dear CAV LUers left,
Please do an update (not a merge) of .cproject file.
Please do NOT commit your own personal .cproject file when checking your own updates. - Causes build problems for others!!!

After having build problems I found a Hardcoded directory (committed Sept.13 10:47am) in .cproject xml for Eclipse file.
I have checked in an update with all the correct setting for build and linking for both antlr and yices on a 32-bit Linux machine.
If someone does a general update this working .cproject file may be replaced accidentally again with the personal setting of someone.
PLEASE DO NOT.

But if it does happen, a copy has been added. Just copy/replace the file /CAV-LU-BMC/- Copy 32BitLinux.cproject XML into your .cproject file and you can build again.

Also the files in /CAV-LU-BMC/antlr are not needed, if you followed the directions in SettingUp document. This .cproject assumes you have built the antlr-runtime project. This set-up has been tested by others.

Thanks, Carolyn

---------- Forwarded message ----------
From: Christian Gruber <christ...@gmail.com>
Date: Fri, Sep 24, 2010 at 6:01 PM
Subject: Re: Are you still active in CAV-LU?
To: Carolyn Oates <trais...@gmail.com>


Hi,

I tested the Setting up document and it works fine.

It also works fine with the new .cproject.

On my linux-machine I don´t have installed antlr and it works.

So it is not necessary to install antlr.

Christian