Project

General

Profile

« Previous | Next » 

Revision bde99c3f

Added by Xavier Thirioux about 5 years ago

This is the first merge that does compile. Not tested yet.

View differences:

configure.ac
7 7 
#AC_SUBST(VERSION_CODENAME, "Xia/Shao Kang")
8 8 

  		




  9
  9
  
    
AC_CONFIG_SRCDIR([src/main_lustre_compiler.ml])


  		




  
  10
  
    
AC_CONFIG_SRCDIR([src/main_lustre_testgen.ml])


  		




  10
  11
  
    

  		




  11
  12
  
    
# default prefix is /usr/local


  		




  12
  13
  
    
AC_PREFIX_DEFAULT(/usr/local)


  		












Also available in:  Unified diff