AVATAR code generator: upgrade to be supported under MACOS

executablecode/Makefile

@@ -8,6 +8,9 @@ OPT    = -O1 -pthread
 #LOPT   = -O1 -pthread -ldl -lnsl -lsocket
 #Linux
 LOPT   = -O1 -pthread -ldl -lrt
+LOPT_MAC = -O1 -pthread -ldl
+
+LOPT = $(LOPT_MAC)
 
 DEBUG  = -g
 OTHER  = -Wall

executablecode/Makefile.src

-SRCS = generated_src/main.c generated_src/Wallet.c generated_src/CoffeeMachine.c generated_src/TeaButton.c generated_src/CoffeeButton.c 
\ No newline at end of file
+SRCS = generated_src/main.c generated_src/Wallet.c generated_src/CoffeeMachine.c generated_src/CoffeeButton.c generated_src/TeaButton.c 
\ No newline at end of file

executablecode/src/mytimelib.h

@@ -2,6 +2,20 @@
 #define MYTIMELIB_H
 
 #include <time.h>
+#include <sys/time.h>
+
+#ifndef CLOCK_REALTIME
+#define CLOCK_REALTIME 0
+
+void clock_gettime(int x, struct timespec *ts) {
+  struct timeval tv;
+  gettimeofday(&tv, NULL);
+  ts->tv_sec = tv.tv_sec;
+  ts->tv_nsec = tv.tv_usec * 1000;
+}
+
+#endif
+
 
 // in usec
 void addTime(struct timespec *src1, struct timespec *src2, struct timespec *dest);

executablecode/src/random.c

@@ -8,6 +8,8 @@
 #include "debug.h"
 #include <math.h>
 
+#include "mytimelib.h"
+
 int computeRandom(int min, int max) {
   if (min == max) {
     return min;