---
layout: fc_discuss_archives
title: Message 48 from Frama-C-discuss on October 2013
---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Frama-c-discuss] Mac install
- Subject: [Frama-c-discuss] Mac install
- From: jens.gerlach at fokus.fraunhofer.de (Gerlach, Jens)
- Date: Sun, 13 Oct 2013 07:46:20 +0000
- In-reply-to: <mailman.12469.1381347761.1111.frama-c-discuss@lists.gforge.inria.fr>
- References: <mailman.12469.1381347761.1111.frama-c-discuss@lists.gforge.inria.fr>
I also had the problem that zarith-1.2 could not find gmp although the latter had been installed with macports.
In my case it helped to add the following two line to my .profile
export CPPFLAGS=-I/opt/local/include
export LDFLAGS=-L/opt/local/lib
Regards
Jens