Project

General

Profile

« Previous | Next » 

Revision 3b2bd83d

Added by Teme Kahsai about 8 years ago

updating to onera version 30f766a:2016-12-04

View differences:

configure.ac
1
define([svnversion], esyscmd([sh -c "svnversion|sed "s/:.*//"|tr -d '\n'"]))dnl
2
AC_INIT([lustrec], [1.1-svnversion], [ploc@garoche.net])
1
define([gitversion], esyscmd([sh -c "git log --oneline | wc -l | tr -d '\n'"]))
3 2

  
3
AC_INIT([lustrec], [1.3-gitversion], [ploc@garoche.net])
4
AC_SUBST(VERSION_CODENAME, "Xia/Zhong-Kang-dev")
5
# Next release will be
6
#AC_INIT([lustrec], [1.3], [ploc@garoche.net])
7
#AC_SUBST(VERSION_CODENAME, "Xia/Zhong-Kang")
4 8

  
5
AC_DEFINE(SVN_REVISION, "svnversion", [SVN Revision])
6
AC_SUBST(SVN_REVISION)
9
#AC_DEFINE(SVN_REVISION, "svnversion", [SVN Revision])
10
#AC_SUBST(SVN_REVISION)
7 11

  
8 12
AC_CONFIG_SRCDIR([src/main_lustre_compiler.ml])
9 13

  
......
23 27
)
24 28
AC_SUBST(OCAMLGRAPH_PATH)
25 29

  
30
AC_SUBST(SRC_PATH, esyscmd([sh -c "pwd" | tr -d '\n']))
26 31

  
27 32
AC_PATH_PROG([OCAMLC],[ocamlc],[:])
28 33
AC_MSG_CHECKING(OCaml version)
29 34
ocamlc_version=`$OCAMLC -v | grep version | rev| cut -d \  -f 1 | rev`
30 35
major=`echo $ocamlc_version | cut -d . -f 1`
31 36
minor=`echo $ocamlc_version | cut -d . -f 2`
32
if (test "$major" -lt 3 -a "$minor" -lt 11 ); then
33
  AC_MSG_ERROR([Ocaml version must be at least 3.11. You have version $ocamlc_version])
37
if (test "$major" -lt 4 -a "$minor" -lt 0 ); then
38
  AC_MSG_ERROR([Ocaml version must be at least 4.0. You have version $ocamlc_version])
34 39
fi
35 40
AC_MSG_RESULT(valid ocaml version detected: $ocamlc_version)
36 41

  
......
43 48
AC_MSG_CHECKING(ocamlgraph library)
44 49
   ocamlgraph_lib=`find $OCAMLGRAPH_PATH -iname graph.cmxa | grep -m 1 -o "graph.cmxa"`
45 50
   if (test "x$ocamlgraph_lib" = xgraph.cmxa ); then
46
	ocamlgraph_lib_full=`find $OCAMLGRAPH_PATH -iname graph.cmxa  | grep -m 1 "graph.cmxa"`
51
	ocamlgraph_lib_full=`find $OCAMLGRAPH_PATH -iname graph.cmxa | grep -m 1 "graph.cmxa"`
47 52
      AC_MSG_RESULT(library detected: $ocamlgraph_lib_full )
48 53
   else
49 54
      AC_MSG_ERROR([ocamlgraph library not installed in $OCAMLGRAPH_PATH])
50 55
   fi
51 56

  
57
AC_CHECK_LIB(gmp, __gmpz_init, 
58
      [gmp=yes],
59
      [AC_MSG_RESULT([GNU MP not found])
60
      gmp=no])
61

  
62
AC_CHECK_LIB(mpfr, mpfr_add, [mpfr=yes], 
63
		   [AC_MSG_RESULT(
64
[MPFR not found])
65
mpfr=no])
66

  
52 67

  
53 68
# Workaround to solve an issue with ocamlbuild and C libraries.
54 69
# oCFLAGS="$CFLAGS"
......
87 102
AC_CONFIG_FILES([Makefile
88 103
		 src/Makefile
89 104
                 src/myocamlbuild.ml
90
		 src/version.ml])
105
		 src/version.ml
106
		 test/test-compile.sh
107
		 ])
91 108

  
92 109
AC_OUTPUT
93 110

  
94 111

  
95 112
# summary
96
dnl AC_MSG_NOTICE(******** Configuration ********)
113
AC_MSG_NOTICE(******** Configuration ********)
114
AC_MSG_NOTICE(bin path:     $prefix/bin)
115
AC_MSG_NOTICE(include path: $prefix/include)
116
AC_MSG_NOTICE(********    Plugins    ********)
117

  
118
  if (test "x$gmp" = xyes -a "x$mpfr" = xyes ); then
119
       AC_MSG_NOTICE([-mpfr option enable])
120

  
121
   else 
122
       AC_MSG_WARN([MPFR option cannot be activated. Requires GMP and MPFR libs])
123
      
124
   fi
125
 
126
AC_MSG_NOTICE
127
AC_MSG_NOTICE(******** Configuration ********)
128

  

Also available in: Unified diff