ModelInference / texada

Efficient techniques for mining LTL formulae over linear input traces

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Making the Eclipse project machine-independent

bestchai opened this issue · comments

In the current Eclipse project there are four machine-specific build variables that prevent the project from running across different machines. These variables have specific file system paths. The variables are GTEST_INCL, GTEST_LIB, SPOT_INCL, and SPOT_LIB.

We need to figure out a way to configure these outside of the repository (e.g., without perturbing the tracked .cproject file). One option is to simply not track the .cproject file and have each user re-create this file from scratch locally.

[Issue created by bestchai: 2014-06-25]
[Last updated on bitbucket: 2014-07-10]

[Comment created by bestchai: 2014-06-26]
uservars.mk seems sufficient. I'm still working on getting all the paths figured out. Can you send me your uservars.mk with paths as an exmaple?

Sure, replicating the uservars.mk solution with .cproject seems okay. At least that way we won't conflict ourselves.

[Comment created by carolemieux: 2014-06-25]
makefile dependencies:

I've added the uservars.mk.example file @ 6caf6c6. I think there are enough instructions to fill it?

.cproject dependencies:

Still looking up the details of the .cproject file. Doesn't seem it's totally automatically generated; removing it completely disabled Properties->C/C++ Build Options, and also caused a few compile errors (couldn't find the LONG_MAX macro, notably), although the program still ran.

The .cproject file is quite different from the java .project files -- those ones don't include any absolute paths, it appears.

Two easiest option would be to untrack .cproject and track .cproject.example with instructions to edit it for each user, but this is annoying for users. Could use it for now just to get it to compile, though.

test file dpendencies:

With regards to absolute filepaths in the test files, eclipse already has the base as a variable, so if I could find a way to access that it would be useful. getenv() doesn't work too well right now.

[Comment created by carolemieux: 2014-06-26]
Added .cproject.example and untracked .cproject in 0a9b920.
I've identified spots that need to be filled in with $SPOT_LIB, etc, which should be filled as described in uservars.mk. This can probably be done directly in eclipse.

[Comment created by carolemieux: 2014-06-26]
There's my .mk file.

The spot library is where I unzipped the spot package. The headers ended up being installed at the location there through the ./make process.

GTest's libraries are where I built GTest and the headers are where I unzipped the package.