Project

General

Profile

« Previous | Next » 

Revision c97b8302

Added by Teme Kahsai almost 5 years ago

enabling math and conv library for horn backend

View differences:

src/backends/Horn/horn_backend.ml
114 114

  
115 115
let translate fmt basename prog machines=
116 116
  (* We print typedef *)
117
  (*print_dep fmt prog;*) (*print static library e.g. math*)
117
  print_dep fmt prog; (*print static library e.g. math*)
118 118
  print_type_definitions fmt;
119 119
  (*List.iter (print_machine machines fmt) (List.rev machines);*)
120 120
  List.iter(fun m ->

Also available in: Unified diff