1/*
2 * Copyright (c) 2016, ETH Zurich.
3 * All rights reserved.
4 *
5 * This file is distributed under the terms in the attached LICENSE file.
6 * If you do not find this file, copies can be found by writing to:
7 * ETH Zurich D-INFK, Universitaetstr. 6, CH-8092 Zurich. Attn: Systems Group.
8 */
9 
10To compile ECLIPSE CLP on Barrelfish ARMv7 the following files had to be changed:
11
12
13eclipseclp/Kernel/src/elipsys_fd.c:43
14
15add the following after the includes: 
16
17#if defined(BARRELFISH) && defined(__ARM_ARCH_7A__) && defined(false)
18#undef false
19#endif
20
21
22eclipseclp/icparc_solvers/ic.c:69
23
24add the following after the includes
25
26#if defined(BARRELFISH) && defined(__ARM_ARCH_7A__) && defined(bool)
27#undef bool
28#endif