7 Commits

Author SHA1 Message Date
rdb
16e7831566 Remove executable permissions from files that don't need them 2015-04-05 15:41:49 +02:00
rdb
708e8dc513 Remove HAVE_GETTIMEOFDAY which we aren't using 2013-12-17 18:01:54 +00:00
rdb
fec189c225 _WIN32 should also be defined on 64-bits Windows 2013-05-06 11:23:26 +00:00
rdb
c26c0e6a97 Android support, part 1 2013-01-24 17:54:56 +00:00
David Rose
6e5dd2cc63 fix memory crashes on win32/Eigen build 2011-12-21 01:25:38 +00:00
Chris Brunner
e0876b9eae forgot a few more flags 2010-06-01 16:14:34 +00:00
Chris Brunner
051e5ee70f 64-bit build support 2010-05-27 23:28:00 +00:00