cryptic pyml errors

README.md

@@ -10,6 +10,8 @@ See [PUMPKIN PATCH](https://github.com/uwplse/PUMPKIN-PATCH) and [DEVOID](https:
 
 ## Guide
 
+This code guide is out of date and needs to be updated due to the switch to use Dune.
+
 * [LICENSE](/LICENSE): License
 * [README.md](/README.md): You are here!
 * [build.sh](/build.sh): Build script for example plugin

build.sh

@@ -1,5 +1,7 @@
 opam pin dune 2.7.1
 opam pin coq-serapi 8.9.0+0.6.1
+opam install pyml
 dune clean
 dune build @all
+dune build @all
 dune install

src/dune

@@ -5,6 +5,7 @@
  (flags :standard -w -27 -warn-error -A)       ; CoqPP codes requires this
  (modules ("plibrary"))
  (library_flags -linkall)
+ (modes native)
  (libraries
    coq.vernac                      ; needed for vernac extend
    coq.plugins.ltac                ; needed only for tactic extend
@@ -26,6 +27,8 @@
    coq-plugin-lib.inductive
    coq-plugin-lib.representationutils
    coq-plugin-lib.termutils
+   stdcompat
+   pyml
 ))
 
 (rule
@@ -56,6 +59,9 @@
            %{lib:coq-plugin-lib.devutils:devutils.cmxa}
            %{lib:coq-plugin-lib.decompiler:decompiler.cmxa}
            %{lib:coq-plugin-lib.coq:coq.cmxa}
+           %{lib:stdcompat:stdcompat.cmxa}
+           %{lib:pyml:pyml.cmxa}
+           %{lib:pyml:numpy.cmxa}
            %{cmxa:plib})))
 
 (install

src/plibrary.ml4

@@ -26,9 +26,10 @@ open Class_tactics
 open Stdarg
 open Tacarg
 
+open List
 open Ser_names
+open Py
 
-open List
 
 (* --- Commands --- *)