Project

General

Profile

« Previous | Next » 

Revision e9350b02

Added by Xavier Thirioux almost 8 years ago

corrected various bugs in the compilation/installation Makefile.in.

View differences:

Makefile.in
3 3 
prefix=@prefix@
4 4 
exec_prefix=@exec_prefix@
5 5 
bindir=@bindir@
6 
datarootdir = ${prefix}/share
6 
datadir = ${prefix}/share
7 7 
includedir = ${prefix}/include
8 8 

  		




  9
  9
  
    
LUSI_LIBS=include/math.lusi include/conv.lusi


  		




  ......




  12
  12
  
    

  		




  13
  13
  
    
lustrec:


  		




  14
  14
  
    
	@echo Compiling binary lustrec


  		




  15
  
  
    
	@$(OCAMLBUILD) src/main_lustre_compiler.native


  		




  
  15
  
    
	@$(OCAMLBUILD) -cflags -I,@OCAMLGRAPH_PATH@ -lflag @OCAMLGRAPH_PATH@/graph.cmxa -I src -I src/backends/C src/main_lustre_compiler.native


  		




  16
  16
  
    
	@mkdir -p $(LOCAL_BINDIR)


  		




  17
  17
  
    
	@mv _build/src/main_lustre_compiler.native $(LOCAL_BINDIR)/lustrec


  		




  18
  18
  
    

  		












  

    
      src/backends/C/c_backend_src.ml
    
  





  150
  150
  
    
*)


  		




  151
  151
  
    
let pp_assign m self pp_var fmt var_type var_name value =


  		




  152
  152
  
    
  let depth = expansion_depth value in


  		




  153
  
  
    
(*eprintf "pp_assign %a %a %d@." Types.print_ty var_type pp_val value depth;*)


  		




  
  153
  
    
(*Format.eprintf "pp_assign %a %a %a %d@." Types.print_ty var_type pp_val var_name pp_val value depth;*)


  		




  154
  154
  
    
  let loop_vars = mk_loop_variables m var_type depth in


  		




  155
  155
  
    
  let reordered_loop_vars = reorder_loop_variables loop_vars in


  		




  156
  156
  
    
  let rec aux fmt vars =


  		












Also available in:  Unified diff