Use Ctypes stubgen for lp-glpk

Makefile

@@ -9,9 +9,9 @@ test:
 fmt:
 	dune build @fmt --auto-promote
 
-doc:
+docs:
 	dune build @doc
-	rm -r docs
+	rm -rf docs
 	cp -r _build/default/_doc/_html docs
 	touch docs/.nojekyll
 

README.md

@@ -51,20 +51,21 @@ let () =
   else print_endline "Oops, my problem is broken."
 ```
 
-## Documentation
+### Notes on solver interfaces
 
-High level APIs have comments for odoc (or ocamldoc).
-Generated docs can be found [online](https://ktahar.github.io/ocaml-lp/) or in [docs](docs) directory.
+- Since lp-glpk is tested only on GLPK version 4.65 and 5+, something may fail on older versions.
+- For lp-gurobi, compile your application with `-cclib -lgurobiXY` flags, where XY is the version of Gurobi (e.g. 91).
 
-## Notes on GLPK interface
+## Documentation
 
-- To use this, compile your application with `-cclib -lglpk` flags.
-- Since this is tested only on GLPK version 4.65 and 5+, something may fail on older versions.
+High-level APIs have comments for odoc (or ocamldoc).
+Generated docs can be found [online](https://ktahar.github.io/ocaml-lp/) or in [docs](docs) directory.
 
 ## Development Status
 
-Original author isn't developing this heavily because basic features are completed.
-However, bug-reports, requests, or patches are always welcome via GitHub [issues](https://github.com/ktahar/ocaml-lp/issues) and [pull requests](https://github.com/ktahar/ocaml-lp/pulls).
+Development is not quite active now because basic features are completed.
+However, there are several TODOs.
+Bug-reports, requests, or patches are always welcome via GitHub [issues](https://github.com/ktahar/ocaml-lp/issues) and [pull requests](https://github.com/ktahar/ocaml-lp/pulls).
 
 ### Conformity to LP file format
 
@@ -99,4 +100,4 @@ Some references to LP file format.
 - Manual of [GLPK](https://www.gnu.org/software/glpk/)
 
 ## License
-MIT
+[MIT](LICENSE.md)