From b21a62867de57cfba078fc522031c5da7d727f59 Mon Sep 17 00:00:00 2001
From: Augustin Degomme <degomme@idpann.imag.fr>
Date: Fri, 29 Mar 2013 10:21:17 +0100
Subject: [PATCH] freebsd compatibility

---
 src/xbt/xbt_os_time.c | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/xbt/xbt_os_time.c b/src/xbt/xbt_os_time.c
index 0f17fcc9a6..9788f9f343 100644
--- a/src/xbt/xbt_os_time.c
+++ b/src/xbt/xbt_os_time.c
@@ -17,6 +17,11 @@
 #include <windows.h>
 #endif
 
+//Freebsd doesn't provide this clock_gettime flag yet, because it was added too recently (after 1993)
+#ifdef __FreeBSD__
+#define CLOCK_PROCESS_CPUTTIME_ID CLOCK_PROF
+#endif
+
 double xbt_os_time(void)
 {
 #ifdef HAVE_GETTIMEOFDAY
-- 
2.20.1