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;