From b2a5e70f0df7a623bd280a6e783165ed020a7dc2 Mon Sep 17 00:00:00 2001
From: mike dupont <mike.dupont@introspector.local>
Date: Mon, 11 Dec 2023 16:15:16 -0500
Subject: [PATCH] now linking locally

---
 caml_src/Makefile | 9 +++++++++
 caml_src/step.ml  | 7 ++++++-
 2 files changed, 15 insertions(+), 1 deletion(-)
 create mode 100644 caml_src/Makefile

diff --git a/caml_src/Makefile b/caml_src/Makefile
new file mode 100644
index 000000000..bbb5551e4
--- /dev/null
+++ b/caml_src/Makefile
@@ -0,0 +1,9 @@
+test: step.ml
+#  -package  coq-core
+	ocamlfind ocamlopt -thread -linkpkg \
+	-package  coq-core \
+	-package  coq \
+	-package coq-serapi  \
+	-package coq-serapi.serlib \
+	-package coq-serapi.sertop_v8_12 \
+	-g -fPIC -linkall -output-obj step.ml -o ocaml-example-script.o
diff --git a/caml_src/step.ml b/caml_src/step.ml
index 8b2569277..bdf79cbd0 100644
--- a/caml_src/step.ml
+++ b/caml_src/step.ml
@@ -1,4 +1,8 @@
-(* Copyright (C) 2017 Sio Kreuzer. All Rights Reserved. *)
+(* Copyright (C) 2017 Sio Kreuzer. All Rights Reserved.
+   Copyright (C) 2023 James DuPont. All Rights Reserved.
+   *)
+
+open Sertop.Sertop_init
 
 let init () =
     Printf.printf "Initializing Game module...\n";
@@ -8,6 +12,7 @@ let shutdown () =
     Printf.printf "Shutting down Game module...\n";
     flush stdout;;
 
+
 let step (s:string) : string =
     Printf.printf "Hello Ocaml from LLama\n";
     flush stdout;