now linking locally

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

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;