python: Split up large Python extension into smaller C files.

Reduces build time in this directory from 11s to 3s.
This commit is contained in:
Richard W.M. Jones
2016-09-02 20:51:04 +01:00
parent d95f1d7102
commit 63db9ae81f
11 changed files with 305 additions and 188 deletions

View File

@@ -16,7 +16,10 @@
* Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
*)
val generate_python_c : unit -> unit
val generate_python_actions_h : unit -> unit
val generate_python_structs : unit -> unit
val generate_python_actions : Types.action list -> unit -> unit
val generate_python_module : unit -> unit
val generate_python_py : unit -> unit
val indent_python : string -> int -> int -> string