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