Use getopt rather than argp for Mac compatibility in C runtime

Also further tweaks to Sail library for C and include sail lib files for tracing

1 files changed, 5 insertions, 0 deletions

diff --git a/mips/main.sail b/mips/main.sail
index 8790cf66..1d3b0bd1 100644
--- a/mips/main.sail
+++ b/mips/main.sail
@@ -1,4 +1,8 @@
 
+val cycle_count = { c: "cycle_count" } : unit -> unit
+
+function cycle_count() = ()
+
 register instCount : int
 
 val fetch_and_execute : unit -> bool effect {barr, eamem, escape, rmem, rreg, wmv, wreg, undef, wmvt, rmemt}
@@ -38,6 +42,7 @@ function fetch_and_execute () = {
        just continue from nextPC, which should have been set to the appropriate
        exception vector (along with clearing branchPending etc.) . */
   };
+  cycle_count();
   loop_again;
 }