search

epfl-lara / ScalaZ3

DSL in Scala for Constraint Solving with Z3 SMT Solver
Apache License 2.0
123 stars 34 forks source link

Make needed changes to the build to facilitate having 2.11 cross-compilation #41

Closed folone closed 10 years ago

folone commented 10 years ago

Don't know if using 2.11 is interesting for this project. Checked that it works with $ sbt ";+clean;+package;+test" on mac os 10.9.3, will also be able to check this on a linux machine over the weekend.

folone commented 10 years ago

Just checked that it works on 64 bit arch linux with kernel 3.15.1, including the Calendar test, which segfaults on mac os.

colder commented 10 years ago

Thanks for this patch, I will merge it as soon as I get to test it!

This is somewhat unrelated but we should investigate further why the calendar benchmark segfaults on your machine though. As far as I know this does not occur on all macs, @koksal can you confirm?

folone commented 10 years ago

\o/

colder commented 10 years ago

Merged, thanks!

koksal commented 10 years ago

Sorry for the late reply. I just performed a fresh build with Z3 4.3.1 and homebrew gcc 4.9.1. I do currently get a segfault for both Calendar and NQueens tests.

folone commented 10 years ago

@koksal me too, but not as a result of this. I was getting segfaults before this was merged: https://github.com/epfl-lara/ScalaZ3/issues/40#issuecomment-46415942