1 files changed, 24 insertions, 0 deletions
diff --git a/external/glpk/type_description.ml b/external/glpk/type_description.ml
new file mode 100644
index 0000000..620b82b
--- /dev/null
+++ b/external/glpk/type_description.ml
@@ -0,0 +1,24 @@
+open Ctypes
+
+module Types (F: Ctypes.TYPE) = struct
+  open F
+
+  type glp_prob = unit ptr
+  let glp_prob : glp_prob typ = ptr void
+
+  type glp_iocp_ptr = unit ptr
+  let glp_iocp_ptr : glp_iocp_ptr typ = ptr void
+
+  type glp_smcp
+  let glp_smcp : glp_smcp structure typ = structure "glp_smcp"
+
+  type glp_smcp_ptr = unit ptr
+  let glp_smcp_ptr : glp_smcp_ptr typ = ptr void
+
+  let glp_min = constant "GLP_MIN" int
+  let glp_fx = constant "GLP_FX" int
+  let glp_lo = constant "GLP_LO" int
+  let glp_opt = constant "GLP_OPT" int
+  let glp_iv = constant "GLP_IV" int
+  let glp_off = constant "GLP_OFF" int
+end