Project

General

Profile

« Previous | Next » 

Revision a8e66e98

Added by Pierre-Loïc Garoche over 10 years ago

Removed oasis, now use the classical autoconf; ./configure; make

View differences:

_oasis
1
OASISFormat: 0.2
2
Name:        Lustre Compiler
3
Version:     1.2
4
Synopsis:    Lustre compiler C and Java backends
5
Authors:     
6
License:     LGPL-2.1
7
Plugins:     DevFiles (0.2)
8
# , Custom (0.2)
9
PreBuildCommand: ./svn_version.sh $(prefix)
10
PostInstallCommand: cd include; for i in *.lusi; do echo Compiling $i; lustrec -verbose 0 $i; done; mkdir -p $(prefix)/include/lustrec; cp -rf * $(prefix)/include/lustrec
11

  
12
Executable lustrec
13
  Path:       src
14
  BuildTools: ocamlbuild
15
  MainIs:     main_lustre_compiler.ml
16
  BuildDepends: ocamlgraph,str,unix 
17
  CompiledObject: native
18
Test nonregression
19
  Type: custom
20
  Command: make test-compile 
21
  WorkingDirectory: test
22
  Run: true
configure
1
#! /bin/sh
2
# Guess values for system-dependent variables and create Makefiles.
3
# Generated by GNU Autoconf 2.69 for lustrec 0.1-371.
4
#
5
# Report bugs to <ploc@garoche.net>.
6
#
7
#
8
# Copyright (C) 1992-1996, 1998-2012 Free Software Foundation, Inc.
9
#
10
#
11
# This configure script is free software; the Free Software Foundation
12
# gives unlimited permission to copy, distribute and modify it.
13
## -------------------- ##
14
## M4sh Initialization. ##
15
## -------------------- ##
16

  
17
# Be more Bourne compatible
18
DUALCASE=1; export DUALCASE # for MKS sh
19
if test -n "${ZSH_VERSION+set}" && (emulate sh) >/dev/null 2>&1; then :
20
  emulate sh
21
  NULLCMD=:
22
  # Pre-4.2 versions of Zsh do word splitting on ${1+"$@"}, which
23
  # is contrary to our usage.  Disable this feature.
24
  alias -g '${1+"$@"}'='"$@"'
25
  setopt NO_GLOB_SUBST
26
else
27
  case `(set -o) 2>/dev/null` in #(
28
  *posix*) :
29
    set -o posix ;; #(
30
  *) :
31
     ;;
32
esac
33
fi
34

  
35

  
36
as_nl='
37
'
38
export as_nl
39
# Printing a long string crashes Solaris 7 /usr/bin/printf.
40
as_echo='\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\'
41
as_echo=$as_echo$as_echo$as_echo$as_echo$as_echo
42
as_echo=$as_echo$as_echo$as_echo$as_echo$as_echo$as_echo
43
# Prefer a ksh shell builtin over an external printf program on Solaris,
44
# but without wasting forks for bash or zsh.
45
if test -z "$BASH_VERSION$ZSH_VERSION" \
46
    && (test "X`print -r -- $as_echo`" = "X$as_echo") 2>/dev/null; then
47
  as_echo='print -r --'
48
  as_echo_n='print -rn --'
49
elif (test "X`printf %s $as_echo`" = "X$as_echo") 2>/dev/null; then
50
  as_echo='printf %s\n'
51
  as_echo_n='printf %s'
52
else
53
  if test "X`(/usr/ucb/echo -n -n $as_echo) 2>/dev/null`" = "X-n $as_echo"; then
54
    as_echo_body='eval /usr/ucb/echo -n "$1$as_nl"'
55
    as_echo_n='/usr/ucb/echo -n'
56
  else
57
    as_echo_body='eval expr "X$1" : "X\\(.*\\)"'
58
    as_echo_n_body='eval
59
      arg=$1;
60
      case $arg in #(
61
      *"$as_nl"*)
62
	expr "X$arg" : "X\\(.*\\)$as_nl";
63
	arg=`expr "X$arg" : ".*$as_nl\\(.*\\)"`;;
64
      esac;
65
      expr "X$arg" : "X\\(.*\\)" | tr -d "$as_nl"
66
    '
67
    export as_echo_n_body
68
    as_echo_n='sh -c $as_echo_n_body as_echo'
69
  fi
70
  export as_echo_body
71
  as_echo='sh -c $as_echo_body as_echo'
72
fi
73

  
74
# The user is always right.
75
if test "${PATH_SEPARATOR+set}" != set; then
76
  PATH_SEPARATOR=:
77
  (PATH='/bin;/bin'; FPATH=$PATH; sh -c :) >/dev/null 2>&1 && {
78
    (PATH='/bin:/bin'; FPATH=$PATH; sh -c :) >/dev/null 2>&1 ||
79
      PATH_SEPARATOR=';'
80
  }
81
fi
82

  
83

  
84
# IFS
85
# We need space, tab and new line, in precisely that order.  Quoting is
86
# there to prevent editors from complaining about space-tab.
87
# (If _AS_PATH_WALK were called with IFS unset, it would disable word
88
# splitting by setting IFS to empty value.)
89
IFS=" ""	$as_nl"
90

  
91
# Find who we are.  Look in the path if we contain no directory separator.
92
as_myself=
93
case $0 in #((
94
  *[\\/]* ) as_myself=$0 ;;
95
  *) as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
96
for as_dir in $PATH
97
do
98
  IFS=$as_save_IFS
99
  test -z "$as_dir" && as_dir=.
100
    test -r "$as_dir/$0" && as_myself=$as_dir/$0 && break
101
  done
102
IFS=$as_save_IFS
103

  
104
     ;;
105
esac
106
# We did not find ourselves, most probably we were run as `sh COMMAND'
107
# in which case we are not to be found in the path.
108
if test "x$as_myself" = x; then
109
  as_myself=$0
110
fi
111
if test ! -f "$as_myself"; then
112
  $as_echo "$as_myself: error: cannot find myself; rerun with an absolute file name" >&2
113
  exit 1
114
fi
115

  
116
# Unset variables that we do not need and which cause bugs (e.g. in
117
# pre-3.0 UWIN ksh).  But do not cause bugs in bash 2.01; the "|| exit 1"
118
# suppresses any "Segmentation fault" message there.  '((' could
119
# trigger a bug in pdksh 5.2.14.
120
for as_var in BASH_ENV ENV MAIL MAILPATH
121
do eval test x\${$as_var+set} = xset \
122
  && ( (unset $as_var) || exit 1) >/dev/null 2>&1 && unset $as_var || :
123
done
124
PS1='$ '
125
PS2='> '
126
PS4='+ '
127

  
128
# NLS nuisances.
129
LC_ALL=C
130
export LC_ALL
131
LANGUAGE=C
132
export LANGUAGE
133

  
134
# CDPATH.
135
(unset CDPATH) >/dev/null 2>&1 && unset CDPATH
136

  
137
# Use a proper internal environment variable to ensure we don't fall
138
  # into an infinite loop, continuously re-executing ourselves.
139
  if test x"${_as_can_reexec}" != xno && test "x$CONFIG_SHELL" != x; then
140
    _as_can_reexec=no; export _as_can_reexec;
141
    # We cannot yet assume a decent shell, so we have to provide a
142
# neutralization value for shells without unset; and this also
143
# works around shells that cannot unset nonexistent variables.
144
# Preserve -v and -x to the replacement shell.
145
BASH_ENV=/dev/null
146
ENV=/dev/null
147
(unset BASH_ENV) >/dev/null 2>&1 && unset BASH_ENV ENV
148
case $- in # ((((
149
  *v*x* | *x*v* ) as_opts=-vx ;;
150
  *v* ) as_opts=-v ;;
151
  *x* ) as_opts=-x ;;
152
  * ) as_opts= ;;
153
esac
154
exec $CONFIG_SHELL $as_opts "$as_myself" ${1+"$@"}
155
# Admittedly, this is quite paranoid, since all the known shells bail
156
# out after a failed `exec'.
157
$as_echo "$0: could not re-execute with $CONFIG_SHELL" >&2
158
as_fn_exit 255
159
  fi
160
  # We don't want this to propagate to other subprocesses.
161
          { _as_can_reexec=; unset _as_can_reexec;}
162
if test "x$CONFIG_SHELL" = x; then
163
  as_bourne_compatible="if test -n \"\${ZSH_VERSION+set}\" && (emulate sh) >/dev/null 2>&1; then :
164
  emulate sh
165
  NULLCMD=:
166
  # Pre-4.2 versions of Zsh do word splitting on \${1+\"\$@\"}, which
167
  # is contrary to our usage.  Disable this feature.
168
  alias -g '\${1+\"\$@\"}'='\"\$@\"'
169
  setopt NO_GLOB_SUBST
170
else
171
  case \`(set -o) 2>/dev/null\` in #(
172
  *posix*) :
173
    set -o posix ;; #(
174
  *) :
175
     ;;
176
esac
177
fi
178
"
179
  as_required="as_fn_return () { (exit \$1); }
180
as_fn_success () { as_fn_return 0; }
181
as_fn_failure () { as_fn_return 1; }
182
as_fn_ret_success () { return 0; }
183
as_fn_ret_failure () { return 1; }
184

  
185
exitcode=0
186
as_fn_success || { exitcode=1; echo as_fn_success failed.; }
187
as_fn_failure && { exitcode=1; echo as_fn_failure succeeded.; }
188
as_fn_ret_success || { exitcode=1; echo as_fn_ret_success failed.; }
189
as_fn_ret_failure && { exitcode=1; echo as_fn_ret_failure succeeded.; }
190
if ( set x; as_fn_ret_success y && test x = \"\$1\" ); then :
191

  
192
else
193
  exitcode=1; echo positional parameters were not saved.
194
fi
195
test x\$exitcode = x0 || exit 1
196
test -x / || exit 1"
197
  as_suggested="  as_lineno_1=";as_suggested=$as_suggested$LINENO;as_suggested=$as_suggested" as_lineno_1a=\$LINENO
198
  as_lineno_2=";as_suggested=$as_suggested$LINENO;as_suggested=$as_suggested" as_lineno_2a=\$LINENO
199
  eval 'test \"x\$as_lineno_1'\$as_run'\" != \"x\$as_lineno_2'\$as_run'\" &&
200
  test \"x\`expr \$as_lineno_1'\$as_run' + 1\`\" = \"x\$as_lineno_2'\$as_run'\"' || exit 1"
201
  if (eval "$as_required") 2>/dev/null; then :
202
  as_have_required=yes
203
else
204
  as_have_required=no
205
fi
206
  if test x$as_have_required = xyes && (eval "$as_suggested") 2>/dev/null; then :
207

  
208
else
209
  as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
210
as_found=false
211
for as_dir in /bin$PATH_SEPARATOR/usr/bin$PATH_SEPARATOR$PATH
212
do
213
  IFS=$as_save_IFS
214
  test -z "$as_dir" && as_dir=.
215
  as_found=:
216
  case $as_dir in #(
217
	 /*)
218
	   for as_base in sh bash ksh sh5; do
219
	     # Try only shells that exist, to save several forks.
220
	     as_shell=$as_dir/$as_base
221
	     if { test -f "$as_shell" || test -f "$as_shell.exe"; } &&
222
		    { $as_echo "$as_bourne_compatible""$as_required" | as_run=a "$as_shell"; } 2>/dev/null; then :
223
  CONFIG_SHELL=$as_shell as_have_required=yes
224
		   if { $as_echo "$as_bourne_compatible""$as_suggested" | as_run=a "$as_shell"; } 2>/dev/null; then :
225
  break 2
226
fi
227
fi
228
	   done;;
229
       esac
230
  as_found=false
231
done
232
$as_found || { if { test -f "$SHELL" || test -f "$SHELL.exe"; } &&
233
	      { $as_echo "$as_bourne_compatible""$as_required" | as_run=a "$SHELL"; } 2>/dev/null; then :
234
  CONFIG_SHELL=$SHELL as_have_required=yes
235
fi; }
236
IFS=$as_save_IFS
237

  
238

  
239
      if test "x$CONFIG_SHELL" != x; then :
240
  export CONFIG_SHELL
241
             # We cannot yet assume a decent shell, so we have to provide a
242
# neutralization value for shells without unset; and this also
243
# works around shells that cannot unset nonexistent variables.
244
# Preserve -v and -x to the replacement shell.
245
BASH_ENV=/dev/null
246
ENV=/dev/null
247
(unset BASH_ENV) >/dev/null 2>&1 && unset BASH_ENV ENV
248
case $- in # ((((
249
  *v*x* | *x*v* ) as_opts=-vx ;;
250
  *v* ) as_opts=-v ;;
251
  *x* ) as_opts=-x ;;
252
  * ) as_opts= ;;
253
esac
254
exec $CONFIG_SHELL $as_opts "$as_myself" ${1+"$@"}
255
# Admittedly, this is quite paranoid, since all the known shells bail
256
# out after a failed `exec'.
257
$as_echo "$0: could not re-execute with $CONFIG_SHELL" >&2
258
exit 255
259
fi
260

  
261
    if test x$as_have_required = xno; then :
262
  $as_echo "$0: This script requires a shell more modern than all"
263
  $as_echo "$0: the shells that I found on your system."
264
  if test x${ZSH_VERSION+set} = xset ; then
265
    $as_echo "$0: In particular, zsh $ZSH_VERSION has bugs and should"
266
    $as_echo "$0: be upgraded to zsh 4.3.4 or later."
267
  else
268
    $as_echo "$0: Please tell bug-autoconf@gnu.org and ploc@garoche.net
269
$0: about your system, including any error possibly output
270
$0: before this message. Then install a modern shell, or
271
$0: manually run the script under such a shell if you do
272
$0: have one."
273
  fi
274
  exit 1
275
fi
276
fi
277
fi
278
SHELL=${CONFIG_SHELL-/bin/sh}
279
export SHELL
280
# Unset more variables known to interfere with behavior of common tools.
281
CLICOLOR_FORCE= GREP_OPTIONS=
282
unset CLICOLOR_FORCE GREP_OPTIONS
283

  
284
## --------------------- ##
285
## M4sh Shell Functions. ##
286
## --------------------- ##
287
# as_fn_unset VAR
288
# ---------------
289
# Portably unset VAR.
290
as_fn_unset ()
291
{
292
  { eval $1=; unset $1;}
293
}
294
as_unset=as_fn_unset
295

  
296
# as_fn_set_status STATUS
297
# -----------------------
298
# Set $? to STATUS, without forking.
299
as_fn_set_status ()
300
{
301
  return $1
302
} # as_fn_set_status
303

  
304
# as_fn_exit STATUS
305
# -----------------
306
# Exit the shell with STATUS, even in a "trap 0" or "set -e" context.
307
as_fn_exit ()
308
{
309
  set +e
310
  as_fn_set_status $1
311
  exit $1
312
} # as_fn_exit
313

  
314
# as_fn_mkdir_p
315
# -------------
316
# Create "$as_dir" as a directory, including parents if necessary.
317
as_fn_mkdir_p ()
318
{
319

  
320
  case $as_dir in #(
321
  -*) as_dir=./$as_dir;;
322
  esac
323
  test -d "$as_dir" || eval $as_mkdir_p || {
324
    as_dirs=
325
    while :; do
326
      case $as_dir in #(
327
      *\'*) as_qdir=`$as_echo "$as_dir" | sed "s/'/'\\\\\\\\''/g"`;; #'(
328
      *) as_qdir=$as_dir;;
329
      esac
330
      as_dirs="'$as_qdir' $as_dirs"
331
      as_dir=`$as_dirname -- "$as_dir" ||
332
$as_expr X"$as_dir" : 'X\(.*[^/]\)//*[^/][^/]*/*$' \| \
333
	 X"$as_dir" : 'X\(//\)[^/]' \| \
334
	 X"$as_dir" : 'X\(//\)$' \| \
335
	 X"$as_dir" : 'X\(/\)' \| . 2>/dev/null ||
336
$as_echo X"$as_dir" |
337
    sed '/^X\(.*[^/]\)\/\/*[^/][^/]*\/*$/{
338
	    s//\1/
339
	    q
340
	  }
341
	  /^X\(\/\/\)[^/].*/{
342
	    s//\1/
343
	    q
344
	  }
345
	  /^X\(\/\/\)$/{
346
	    s//\1/
347
	    q
348
	  }
349
	  /^X\(\/\).*/{
350
	    s//\1/
351
	    q
352
	  }
353
	  s/.*/./; q'`
354
      test -d "$as_dir" && break
355
    done
356
    test -z "$as_dirs" || eval "mkdir $as_dirs"
357
  } || test -d "$as_dir" || as_fn_error $? "cannot create directory $as_dir"
358

  
359

  
360
} # as_fn_mkdir_p
361

  
362
# as_fn_executable_p FILE
363
# -----------------------
364
# Test if FILE is an executable regular file.
365
as_fn_executable_p ()
366
{
367
  test -f "$1" && test -x "$1"
368
} # as_fn_executable_p
369
# as_fn_append VAR VALUE
370
# ----------------------
371
# Append the text in VALUE to the end of the definition contained in VAR. Take
372
# advantage of any shell optimizations that allow amortized linear growth over
373
# repeated appends, instead of the typical quadratic growth present in naive
374
# implementations.
375
if (eval "as_var=1; as_var+=2; test x\$as_var = x12") 2>/dev/null; then :
376
  eval 'as_fn_append ()
377
  {
378
    eval $1+=\$2
379
  }'
380
else
381
  as_fn_append ()
382
  {
383
    eval $1=\$$1\$2
384
  }
385
fi # as_fn_append
386

  
387
# as_fn_arith ARG...
388
# ------------------
389
# Perform arithmetic evaluation on the ARGs, and store the result in the
390
# global $as_val. Take advantage of shells that can avoid forks. The arguments
391
# must be portable across $(()) and expr.
392
if (eval "test \$(( 1 + 1 )) = 2") 2>/dev/null; then :
393
  eval 'as_fn_arith ()
394
  {
395
    as_val=$(( $* ))
396
  }'
397
else
398
  as_fn_arith ()
399
  {
400
    as_val=`expr "$@" || test $? -eq 1`
401
  }
402
fi # as_fn_arith
403

  
404

  
405
# as_fn_error STATUS ERROR [LINENO LOG_FD]
406
# ----------------------------------------
407
# Output "`basename $0`: error: ERROR" to stderr. If LINENO and LOG_FD are
408
# provided, also output the error to LOG_FD, referencing LINENO. Then exit the
409
# script with STATUS, using 1 if that was 0.
410
as_fn_error ()
411
{
412
  as_status=$1; test $as_status -eq 0 && as_status=1
413
  if test "$4"; then
414
    as_lineno=${as_lineno-"$3"} as_lineno_stack=as_lineno_stack=$as_lineno_stack
415
    $as_echo "$as_me:${as_lineno-$LINENO}: error: $2" >&$4
416
  fi
417
  $as_echo "$as_me: error: $2" >&2
418
  as_fn_exit $as_status
419
} # as_fn_error
420

  
421
if expr a : '\(a\)' >/dev/null 2>&1 &&
422
   test "X`expr 00001 : '.*\(...\)'`" = X001; then
423
  as_expr=expr
424
else
425
  as_expr=false
426
fi
427

  
428
if (basename -- /) >/dev/null 2>&1 && test "X`basename -- / 2>&1`" = "X/"; then
429
  as_basename=basename
430
else
431
  as_basename=false
432
fi
433

  
434
if (as_dir=`dirname -- /` && test "X$as_dir" = X/) >/dev/null 2>&1; then
435
  as_dirname=dirname
436
else
437
  as_dirname=false
438
fi
439

  
440
as_me=`$as_basename -- "$0" ||
441
$as_expr X/"$0" : '.*/\([^/][^/]*\)/*$' \| \
442
	 X"$0" : 'X\(//\)$' \| \
443
	 X"$0" : 'X\(/\)' \| . 2>/dev/null ||
444
$as_echo X/"$0" |
445
    sed '/^.*\/\([^/][^/]*\)\/*$/{
446
	    s//\1/
447
	    q
448
	  }
449
	  /^X\/\(\/\/\)$/{
450
	    s//\1/
451
	    q
452
	  }
453
	  /^X\/\(\/\).*/{
454
	    s//\1/
455
	    q
456
	  }
457
	  s/.*/./; q'`
458

  
459
# Avoid depending upon Character Ranges.
460
as_cr_letters='abcdefghijklmnopqrstuvwxyz'
461
as_cr_LETTERS='ABCDEFGHIJKLMNOPQRSTUVWXYZ'
462
as_cr_Letters=$as_cr_letters$as_cr_LETTERS
463
as_cr_digits='0123456789'
464
as_cr_alnum=$as_cr_Letters$as_cr_digits
465

  
466

  
467
  as_lineno_1=$LINENO as_lineno_1a=$LINENO
468
  as_lineno_2=$LINENO as_lineno_2a=$LINENO
469
  eval 'test "x$as_lineno_1'$as_run'" != "x$as_lineno_2'$as_run'" &&
470
  test "x`expr $as_lineno_1'$as_run' + 1`" = "x$as_lineno_2'$as_run'"' || {
471
  # Blame Lee E. McMahon (1931-1989) for sed's syntax.  :-)
472
  sed -n '
473
    p
474
    /[$]LINENO/=
475
  ' <$as_myself |
476
    sed '
477
      s/[$]LINENO.*/&-/
478
      t lineno
479
      b
480
      :lineno
481
      N
482
      :loop
483
      s/[$]LINENO\([^'$as_cr_alnum'_].*\n\)\(.*\)/\2\1\2/
484
      t loop
485
      s/-\n.*//
486
    ' >$as_me.lineno &&
487
  chmod +x "$as_me.lineno" ||
488
    { $as_echo "$as_me: error: cannot create $as_me.lineno; rerun with a POSIX shell" >&2; as_fn_exit 1; }
489

  
490
  # If we had to re-execute with $CONFIG_SHELL, we're ensured to have
491
  # already done that, so ensure we don't try to do so again and fall
492
  # in an infinite loop.  This has already happened in practice.
493
  _as_can_reexec=no; export _as_can_reexec
494
  # Don't try to exec as it changes $[0], causing all sort of problems
495
  # (the dirname of $[0] is not the place where we might find the
496
  # original and so on.  Autoconf is especially sensitive to this).
497
  . "./$as_me.lineno"
498
  # Exit status is that of the last command.
499
  exit
500
}
501

  
502
ECHO_C= ECHO_N= ECHO_T=
503
case `echo -n x` in #(((((
504
-n*)
505
  case `echo 'xy\c'` in
506
  *c*) ECHO_T='	';;	# ECHO_T is single tab character.
507
  xy)  ECHO_C='\c';;
508
  *)   echo `echo ksh88 bug on AIX 6.1` > /dev/null
509
       ECHO_T='	';;
510
  esac;;
511
*)
512
  ECHO_N='-n';;
513
esac
514

  
515
rm -f conf$$ conf$$.exe conf$$.file
516
if test -d conf$$.dir; then
517
  rm -f conf$$.dir/conf$$.file
518
else
519
  rm -f conf$$.dir
520
  mkdir conf$$.dir 2>/dev/null
521
fi
522
if (echo >conf$$.file) 2>/dev/null; then
523
  if ln -s conf$$.file conf$$ 2>/dev/null; then
524
    as_ln_s='ln -s'
525
    # ... but there are two gotchas:
526
    # 1) On MSYS, both `ln -s file dir' and `ln file dir' fail.
527
    # 2) DJGPP < 2.04 has no symlinks; `ln -s' creates a wrapper executable.
528
    # In both cases, we have to default to `cp -pR'.
529
    ln -s conf$$.file conf$$.dir 2>/dev/null && test ! -f conf$$.exe ||
530
      as_ln_s='cp -pR'
531
  elif ln conf$$.file conf$$ 2>/dev/null; then
532
    as_ln_s=ln
533
  else
534
    as_ln_s='cp -pR'
535
  fi
536
else
537
  as_ln_s='cp -pR'
538
fi
539
rm -f conf$$ conf$$.exe conf$$.dir/conf$$.file conf$$.file
540
rmdir conf$$.dir 2>/dev/null
541

  
542
if mkdir -p . 2>/dev/null; then
543
  as_mkdir_p='mkdir -p "$as_dir"'
544
else
545
  test -d ./-p && rmdir ./-p
546
  as_mkdir_p=false
547
fi
548

  
549
as_test_x='test -x'
550
as_executable_p=as_fn_executable_p
551

  
552
# Sed expression to map a string onto a valid CPP name.
553
as_tr_cpp="eval sed 'y%*$as_cr_letters%P$as_cr_LETTERS%;s%[^_$as_cr_alnum]%_%g'"
554

  
555
# Sed expression to map a string onto a valid variable name.
556
as_tr_sh="eval sed 'y%*+%pp%;s%[^_$as_cr_alnum]%_%g'"
557

  
558

  
559
test -n "$DJDIR" || exec 7<&0 </dev/null
560
exec 6>&1
561

  
562
# Name of the host.
563
# hostname on some systems (SVR3.2, old GNU/Linux) returns a bogus exit status,
564
# so uname gets run too.
565
ac_hostname=`(hostname || uname -n) 2>/dev/null | sed 1q`
566

  
567
#
568
# Initializations.
569
#
570
ac_default_prefix=/usr/local
571
ac_clean_files=
572
ac_config_libobj_dir=.
573
LIBOBJS=
574
cross_compiling=no
575
subdirs=
576
MFLAGS=
577
MAKEFLAGS=
578

  
579
# Identity of this package.
580
PACKAGE_NAME='lustrec'
581
PACKAGE_TARNAME='lustrec'
582
PACKAGE_VERSION='0.1-371'
583
PACKAGE_STRING='lustrec 0.1-371'
584
PACKAGE_BUGREPORT='ploc@garoche.net'
585
PACKAGE_URL=''
586

  
587
ac_unique_file="src/main_lustre_compiler.ml"
588
ac_default_prefix=/usr/local
589
ac_subst_vars='LTLIBOBJS
590
LIBOBJS
591
abs_datadir
592
CC_NOASNEEDED
593
OBJEXT
594
EXEEXT
595
ac_ct_CC
596
CPPFLAGS
597
LDFLAGS
598
CFLAGS
599
CC
600
OCAMLBUILD
601
OCAMLC
602
OCAMLGRAPH_PATH
603
SVN_REVISION
604
target_alias
605
host_alias
606
build_alias
607
LIBS
608
ECHO_T
609
ECHO_N
610
ECHO_C
611
DEFS
612
mandir
613
localedir
614
libdir
615
psdir
616
pdfdir
617
dvidir
618
htmldir
619
infodir
620
docdir
621
oldincludedir
622
includedir
623
localstatedir
624
sharedstatedir
625
sysconfdir
626
datadir
627
datarootdir
628
libexecdir
629
sbindir
630
bindir
631
program_transform_name
632
prefix
633
exec_prefix
634
PACKAGE_URL
635
PACKAGE_BUGREPORT
636
PACKAGE_STRING
637
PACKAGE_VERSION
638
PACKAGE_TARNAME
639
PACKAGE_NAME
640
PATH_SEPARATOR
641
SHELL'
642
ac_subst_files=''
643
ac_user_opts='
644
enable_option_checking
645
with_ocamlgraph_path
646
'
647
      ac_precious_vars='build_alias
648
host_alias
649
target_alias
650
CC
651
CFLAGS
652
LDFLAGS
653
LIBS
654
CPPFLAGS'
655

  
656

  
657
# Initialize some variables set by options.
658
ac_init_help=
659
ac_init_version=false
660
ac_unrecognized_opts=
661
ac_unrecognized_sep=
662
# The variables have the same names as the options, with
663
# dashes changed to underlines.
664
cache_file=/dev/null
665
exec_prefix=NONE
666
no_create=
667
no_recursion=
668
prefix=NONE
669
program_prefix=NONE
670
program_suffix=NONE
671
program_transform_name=s,x,x,
672
silent=
673
site=
674
srcdir=
675
verbose=
676
x_includes=NONE
677
x_libraries=NONE
678

  
679
# Installation directory options.
680
# These are left unexpanded so users can "make install exec_prefix=/foo"
681
# and all the variables that are supposed to be based on exec_prefix
682
# by default will actually change.
683
# Use braces instead of parens because sh, perl, etc. also accept them.
684
# (The list follows the same order as the GNU Coding Standards.)
685
bindir='${exec_prefix}/bin'
686
sbindir='${exec_prefix}/sbin'
687
libexecdir='${exec_prefix}/libexec'
688
datarootdir='${prefix}/share'
689
datadir='${datarootdir}'
690
sysconfdir='${prefix}/etc'
691
sharedstatedir='${prefix}/com'
692
localstatedir='${prefix}/var'
693
includedir='${prefix}/include'
694
oldincludedir='/usr/include'
695
docdir='${datarootdir}/doc/${PACKAGE_TARNAME}'
696
infodir='${datarootdir}/info'
697
htmldir='${docdir}'
698
dvidir='${docdir}'
699
pdfdir='${docdir}'
700
psdir='${docdir}'
701
libdir='${exec_prefix}/lib'
702
localedir='${datarootdir}/locale'
703
mandir='${datarootdir}/man'
704

  
705
ac_prev=
706
ac_dashdash=
707
for ac_option
708
do
709
  # If the previous option needs an argument, assign it.
710
  if test -n "$ac_prev"; then
711
    eval $ac_prev=\$ac_option
712
    ac_prev=
713
    continue
714
  fi
715

  
716
  case $ac_option in
717
  *=?*) ac_optarg=`expr "X$ac_option" : '[^=]*=\(.*\)'` ;;
718
  *=)   ac_optarg= ;;
719
  *)    ac_optarg=yes ;;
720
  esac
721

  
722
  # Accept the important Cygnus configure options, so we can diagnose typos.
723

  
724
  case $ac_dashdash$ac_option in
725
  --)
726
    ac_dashdash=yes ;;
727

  
728
  -bindir | --bindir | --bindi | --bind | --bin | --bi)
729
    ac_prev=bindir ;;
730
  -bindir=* | --bindir=* | --bindi=* | --bind=* | --bin=* | --bi=*)
731
    bindir=$ac_optarg ;;
732

  
733
  -build | --build | --buil | --bui | --bu)
734
    ac_prev=build_alias ;;
735
  -build=* | --build=* | --buil=* | --bui=* | --bu=*)
736
    build_alias=$ac_optarg ;;
737

  
738
  -cache-file | --cache-file | --cache-fil | --cache-fi \
739
  | --cache-f | --cache- | --cache | --cach | --cac | --ca | --c)
740
    ac_prev=cache_file ;;
741
  -cache-file=* | --cache-file=* | --cache-fil=* | --cache-fi=* \
742
  | --cache-f=* | --cache-=* | --cache=* | --cach=* | --cac=* | --ca=* | --c=*)
743
    cache_file=$ac_optarg ;;
744

  
745
  --config-cache | -C)
746
    cache_file=config.cache ;;
747

  
748
  -datadir | --datadir | --datadi | --datad)
749
    ac_prev=datadir ;;
750
  -datadir=* | --datadir=* | --datadi=* | --datad=*)
751
    datadir=$ac_optarg ;;
752

  
753
  -datarootdir | --datarootdir | --datarootdi | --datarootd | --dataroot \
754
  | --dataroo | --dataro | --datar)
755
    ac_prev=datarootdir ;;
756
  -datarootdir=* | --datarootdir=* | --datarootdi=* | --datarootd=* \
757
  | --dataroot=* | --dataroo=* | --dataro=* | --datar=*)
758
    datarootdir=$ac_optarg ;;
759

  
760
  -disable-* | --disable-*)
761
    ac_useropt=`expr "x$ac_option" : 'x-*disable-\(.*\)'`
762
    # Reject names that are not valid shell variable names.
763
    expr "x$ac_useropt" : ".*[^-+._$as_cr_alnum]" >/dev/null &&
764
      as_fn_error $? "invalid feature name: $ac_useropt"
765
    ac_useropt_orig=$ac_useropt
766
    ac_useropt=`$as_echo "$ac_useropt" | sed 's/[-+.]/_/g'`
767
    case $ac_user_opts in
768
      *"
769
"enable_$ac_useropt"
770
"*) ;;
771
      *) ac_unrecognized_opts="$ac_unrecognized_opts$ac_unrecognized_sep--disable-$ac_useropt_orig"
772
	 ac_unrecognized_sep=', ';;
773
    esac
774
    eval enable_$ac_useropt=no ;;
775

  
776
  -docdir | --docdir | --docdi | --doc | --do)
777
    ac_prev=docdir ;;
778
  -docdir=* | --docdir=* | --docdi=* | --doc=* | --do=*)
779
    docdir=$ac_optarg ;;
780

  
781
  -dvidir | --dvidir | --dvidi | --dvid | --dvi | --dv)
782
    ac_prev=dvidir ;;
783
  -dvidir=* | --dvidir=* | --dvidi=* | --dvid=* | --dvi=* | --dv=*)
784
    dvidir=$ac_optarg ;;
785

  
786
  -enable-* | --enable-*)
787
    ac_useropt=`expr "x$ac_option" : 'x-*enable-\([^=]*\)'`
788
    # Reject names that are not valid shell variable names.
789
    expr "x$ac_useropt" : ".*[^-+._$as_cr_alnum]" >/dev/null &&
790
      as_fn_error $? "invalid feature name: $ac_useropt"
791
    ac_useropt_orig=$ac_useropt
792
    ac_useropt=`$as_echo "$ac_useropt" | sed 's/[-+.]/_/g'`
793
    case $ac_user_opts in
794
      *"
795
"enable_$ac_useropt"
796
"*) ;;
797
      *) ac_unrecognized_opts="$ac_unrecognized_opts$ac_unrecognized_sep--enable-$ac_useropt_orig"
798
	 ac_unrecognized_sep=', ';;
799
    esac
800
    eval enable_$ac_useropt=\$ac_optarg ;;
801

  
802
  -exec-prefix | --exec_prefix | --exec-prefix | --exec-prefi \
803
  | --exec-pref | --exec-pre | --exec-pr | --exec-p | --exec- \
804
  | --exec | --exe | --ex)
805
    ac_prev=exec_prefix ;;
806
  -exec-prefix=* | --exec_prefix=* | --exec-prefix=* | --exec-prefi=* \
807
  | --exec-pref=* | --exec-pre=* | --exec-pr=* | --exec-p=* | --exec-=* \
808
  | --exec=* | --exe=* | --ex=*)
809
    exec_prefix=$ac_optarg ;;
810

  
811
  -gas | --gas | --ga | --g)
812
    # Obsolete; use --with-gas.
813
    with_gas=yes ;;
814

  
815
  -help | --help | --hel | --he | -h)
816
    ac_init_help=long ;;
817
  -help=r* | --help=r* | --hel=r* | --he=r* | -hr*)
818
    ac_init_help=recursive ;;
819
  -help=s* | --help=s* | --hel=s* | --he=s* | -hs*)
820
    ac_init_help=short ;;
821

  
822
  -host | --host | --hos | --ho)
823
    ac_prev=host_alias ;;
824
  -host=* | --host=* | --hos=* | --ho=*)
825
    host_alias=$ac_optarg ;;
826

  
827
  -htmldir | --htmldir | --htmldi | --htmld | --html | --htm | --ht)
828
    ac_prev=htmldir ;;
829
  -htmldir=* | --htmldir=* | --htmldi=* | --htmld=* | --html=* | --htm=* \
830
  | --ht=*)
831
    htmldir=$ac_optarg ;;
832

  
833
  -includedir | --includedir | --includedi | --included | --include \
834
  | --includ | --inclu | --incl | --inc)
835
    ac_prev=includedir ;;
836
  -includedir=* | --includedir=* | --includedi=* | --included=* | --include=* \
837
  | --includ=* | --inclu=* | --incl=* | --inc=*)
838
    includedir=$ac_optarg ;;
839

  
840
  -infodir | --infodir | --infodi | --infod | --info | --inf)
841
    ac_prev=infodir ;;
842
  -infodir=* | --infodir=* | --infodi=* | --infod=* | --info=* | --inf=*)
843
    infodir=$ac_optarg ;;
844

  
845
  -libdir | --libdir | --libdi | --libd)
846
    ac_prev=libdir ;;
847
  -libdir=* | --libdir=* | --libdi=* | --libd=*)
848
    libdir=$ac_optarg ;;
849

  
850
  -libexecdir | --libexecdir | --libexecdi | --libexecd | --libexec \
851
  | --libexe | --libex | --libe)
852
    ac_prev=libexecdir ;;
853
  -libexecdir=* | --libexecdir=* | --libexecdi=* | --libexecd=* | --libexec=* \
854
  | --libexe=* | --libex=* | --libe=*)
855
    libexecdir=$ac_optarg ;;
856

  
857
  -localedir | --localedir | --localedi | --localed | --locale)
858
    ac_prev=localedir ;;
859
  -localedir=* | --localedir=* | --localedi=* | --localed=* | --locale=*)
860
    localedir=$ac_optarg ;;
861

  
862
  -localstatedir | --localstatedir | --localstatedi | --localstated \
863
  | --localstate | --localstat | --localsta | --localst | --locals)
864
    ac_prev=localstatedir ;;
865
  -localstatedir=* | --localstatedir=* | --localstatedi=* | --localstated=* \
866
  | --localstate=* | --localstat=* | --localsta=* | --localst=* | --locals=*)
867
    localstatedir=$ac_optarg ;;
868

  
869
  -mandir | --mandir | --mandi | --mand | --man | --ma | --m)
870
    ac_prev=mandir ;;
871
  -mandir=* | --mandir=* | --mandi=* | --mand=* | --man=* | --ma=* | --m=*)
872
    mandir=$ac_optarg ;;
873

  
874
  -nfp | --nfp | --nf)
875
    # Obsolete; use --without-fp.
876
    with_fp=no ;;
877

  
878
  -no-create | --no-create | --no-creat | --no-crea | --no-cre \
879
  | --no-cr | --no-c | -n)
880
    no_create=yes ;;
881

  
882
  -no-recursion | --no-recursion | --no-recursio | --no-recursi \
883
  | --no-recurs | --no-recur | --no-recu | --no-rec | --no-re | --no-r)
884
    no_recursion=yes ;;
885

  
886
  -oldincludedir | --oldincludedir | --oldincludedi | --oldincluded \
887
  | --oldinclude | --oldinclud | --oldinclu | --oldincl | --oldinc \
888
  | --oldin | --oldi | --old | --ol | --o)
889
    ac_prev=oldincludedir ;;
890
  -oldincludedir=* | --oldincludedir=* | --oldincludedi=* | --oldincluded=* \
891
  | --oldinclude=* | --oldinclud=* | --oldinclu=* | --oldincl=* | --oldinc=* \
892
  | --oldin=* | --oldi=* | --old=* | --ol=* | --o=*)
893
    oldincludedir=$ac_optarg ;;
894

  
895
  -prefix | --prefix | --prefi | --pref | --pre | --pr | --p)
896
    ac_prev=prefix ;;
897
  -prefix=* | --prefix=* | --prefi=* | --pref=* | --pre=* | --pr=* | --p=*)
898
    prefix=$ac_optarg ;;
899

  
900
  -program-prefix | --program-prefix | --program-prefi | --program-pref \
901
  | --program-pre | --program-pr | --program-p)
902
    ac_prev=program_prefix ;;
903
  -program-prefix=* | --program-prefix=* | --program-prefi=* \
904
  | --program-pref=* | --program-pre=* | --program-pr=* | --program-p=*)
905
    program_prefix=$ac_optarg ;;
906

  
907
  -program-suffix | --program-suffix | --program-suffi | --program-suff \
908
  | --program-suf | --program-su | --program-s)
909
    ac_prev=program_suffix ;;
910
  -program-suffix=* | --program-suffix=* | --program-suffi=* \
911
  | --program-suff=* | --program-suf=* | --program-su=* | --program-s=*)
912
    program_suffix=$ac_optarg ;;
913

  
914
  -program-transform-name | --program-transform-name \
915
  | --program-transform-nam | --program-transform-na \
916
  | --program-transform-n | --program-transform- \
917
  | --program-transform | --program-transfor \
918
  | --program-transfo | --program-transf \
919
  | --program-trans | --program-tran \
920
  | --progr-tra | --program-tr | --program-t)
921
    ac_prev=program_transform_name ;;
922
  -program-transform-name=* | --program-transform-name=* \
923
  | --program-transform-nam=* | --program-transform-na=* \
924
  | --program-transform-n=* | --program-transform-=* \
925
  | --program-transform=* | --program-transfor=* \
926
  | --program-transfo=* | --program-transf=* \
927
  | --program-trans=* | --program-tran=* \
928
  | --progr-tra=* | --program-tr=* | --program-t=*)
929
    program_transform_name=$ac_optarg ;;
930

  
931
  -pdfdir | --pdfdir | --pdfdi | --pdfd | --pdf | --pd)
932
    ac_prev=pdfdir ;;
933
  -pdfdir=* | --pdfdir=* | --pdfdi=* | --pdfd=* | --pdf=* | --pd=*)
934
    pdfdir=$ac_optarg ;;
935

  
936
  -psdir | --psdir | --psdi | --psd | --ps)
937
    ac_prev=psdir ;;
938
  -psdir=* | --psdir=* | --psdi=* | --psd=* | --ps=*)
939
    psdir=$ac_optarg ;;
940

  
941
  -q | -quiet | --quiet | --quie | --qui | --qu | --q \
942
  | -silent | --silent | --silen | --sile | --sil)
943
    silent=yes ;;
944

  
945
  -sbindir | --sbindir | --sbindi | --sbind | --sbin | --sbi | --sb)
946
    ac_prev=sbindir ;;
947
  -sbindir=* | --sbindir=* | --sbindi=* | --sbind=* | --sbin=* \
948
  | --sbi=* | --sb=*)
949
    sbindir=$ac_optarg ;;
950

  
951
  -sharedstatedir | --sharedstatedir | --sharedstatedi \
952
  | --sharedstated | --sharedstate | --sharedstat | --sharedsta \
953
  | --sharedst | --shareds | --shared | --share | --shar \
954
  | --sha | --sh)
955
    ac_prev=sharedstatedir ;;
956
  -sharedstatedir=* | --sharedstatedir=* | --sharedstatedi=* \
957
  | --sharedstated=* | --sharedstate=* | --sharedstat=* | --sharedsta=* \
958
  | --sharedst=* | --shareds=* | --shared=* | --share=* | --shar=* \
959
  | --sha=* | --sh=*)
960
    sharedstatedir=$ac_optarg ;;
961

  
962
  -site | --site | --sit)
963
    ac_prev=site ;;
964
  -site=* | --site=* | --sit=*)
965
    site=$ac_optarg ;;
966

  
967
  -srcdir | --srcdir | --srcdi | --srcd | --src | --sr)
968
    ac_prev=srcdir ;;
969
  -srcdir=* | --srcdir=* | --srcdi=* | --srcd=* | --src=* | --sr=*)
970
    srcdir=$ac_optarg ;;
971

  
972
  -sysconfdir | --sysconfdir | --sysconfdi | --sysconfd | --sysconf \
973
  | --syscon | --sysco | --sysc | --sys | --sy)
974
    ac_prev=sysconfdir ;;
975
  -sysconfdir=* | --sysconfdir=* | --sysconfdi=* | --sysconfd=* | --sysconf=* \
976
  | --syscon=* | --sysco=* | --sysc=* | --sys=* | --sy=*)
977
    sysconfdir=$ac_optarg ;;
978

  
979
  -target | --target | --targe | --targ | --tar | --ta | --t)
980
    ac_prev=target_alias ;;
981
  -target=* | --target=* | --targe=* | --targ=* | --tar=* | --ta=* | --t=*)
982
    target_alias=$ac_optarg ;;
983

  
984
  -v | -verbose | --verbose | --verbos | --verbo | --verb)
985
    verbose=yes ;;
986

  
987
  -version | --version | --versio | --versi | --vers | -V)
988
    ac_init_version=: ;;
989

  
990
  -with-* | --with-*)
991
    ac_useropt=`expr "x$ac_option" : 'x-*with-\([^=]*\)'`
992
    # Reject names that are not valid shell variable names.
993
    expr "x$ac_useropt" : ".*[^-+._$as_cr_alnum]" >/dev/null &&
994
      as_fn_error $? "invalid package name: $ac_useropt"
995
    ac_useropt_orig=$ac_useropt
996
    ac_useropt=`$as_echo "$ac_useropt" | sed 's/[-+.]/_/g'`
997
    case $ac_user_opts in
998
      *"
999
"with_$ac_useropt"
1000
"*) ;;
1001
      *) ac_unrecognized_opts="$ac_unrecognized_opts$ac_unrecognized_sep--with-$ac_useropt_orig"
1002
	 ac_unrecognized_sep=', ';;
1003
    esac
1004
    eval with_$ac_useropt=\$ac_optarg ;;
1005

  
1006
  -without-* | --without-*)
1007
    ac_useropt=`expr "x$ac_option" : 'x-*without-\(.*\)'`
1008
    # Reject names that are not valid shell variable names.
1009
    expr "x$ac_useropt" : ".*[^-+._$as_cr_alnum]" >/dev/null &&
1010
      as_fn_error $? "invalid package name: $ac_useropt"
1011
    ac_useropt_orig=$ac_useropt
1012
    ac_useropt=`$as_echo "$ac_useropt" | sed 's/[-+.]/_/g'`
1013
    case $ac_user_opts in
1014
      *"
1015
"with_$ac_useropt"
1016
"*) ;;
1017
      *) ac_unrecognized_opts="$ac_unrecognized_opts$ac_unrecognized_sep--without-$ac_useropt_orig"
1018
	 ac_unrecognized_sep=', ';;
1019
    esac
1020
    eval with_$ac_useropt=no ;;
1021

  
1022
  --x)
1023
    # Obsolete; use --with-x.
1024
    with_x=yes ;;
1025

  
1026
  -x-includes | --x-includes | --x-include | --x-includ | --x-inclu \
1027
  | --x-incl | --x-inc | --x-in | --x-i)
1028
    ac_prev=x_includes ;;
1029
  -x-includes=* | --x-includes=* | --x-include=* | --x-includ=* | --x-inclu=* \
1030
  | --x-incl=* | --x-inc=* | --x-in=* | --x-i=*)
1031
    x_includes=$ac_optarg ;;
1032

  
1033
  -x-libraries | --x-libraries | --x-librarie | --x-librari \
1034
  | --x-librar | --x-libra | --x-libr | --x-lib | --x-li | --x-l)
1035
    ac_prev=x_libraries ;;
1036
  -x-libraries=* | --x-libraries=* | --x-librarie=* | --x-librari=* \
1037
  | --x-librar=* | --x-libra=* | --x-libr=* | --x-lib=* | --x-li=* | --x-l=*)
1038
    x_libraries=$ac_optarg ;;
1039

  
1040
  -*) as_fn_error $? "unrecognized option: \`$ac_option'
1041
Try \`$0 --help' for more information"
1042
    ;;
1043

  
1044
  *=*)
1045
    ac_envvar=`expr "x$ac_option" : 'x\([^=]*\)='`
1046
    # Reject names that are not valid shell variable names.
1047
    case $ac_envvar in #(
1048
      '' | [0-9]* | *[!_$as_cr_alnum]* )
1049
      as_fn_error $? "invalid variable name: \`$ac_envvar'" ;;
1050
    esac
1051
    eval $ac_envvar=\$ac_optarg
1052
    export $ac_envvar ;;
1053

  
1054
  *)
1055
    # FIXME: should be removed in autoconf 3.0.
1056
    $as_echo "$as_me: WARNING: you should use --build, --host, --target" >&2
1057
    expr "x$ac_option" : ".*[^-._$as_cr_alnum]" >/dev/null &&
1058
      $as_echo "$as_me: WARNING: invalid host type: $ac_option" >&2
1059
    : "${build_alias=$ac_option} ${host_alias=$ac_option} ${target_alias=$ac_option}"
1060
    ;;
1061

  
1062
  esac
1063
done
1064

  
1065
if test -n "$ac_prev"; then
1066
  ac_option=--`echo $ac_prev | sed 's/_/-/g'`
1067
  as_fn_error $? "missing argument to $ac_option"
1068
fi
1069

  
1070
if test -n "$ac_unrecognized_opts"; then
1071
  case $enable_option_checking in
1072
    no) ;;
1073
    fatal) as_fn_error $? "unrecognized options: $ac_unrecognized_opts" ;;
1074
    *)     $as_echo "$as_me: WARNING: unrecognized options: $ac_unrecognized_opts" >&2 ;;
1075
  esac
1076
fi
1077

  
1078
# Check all directory arguments for consistency.
1079
for ac_var in	exec_prefix prefix bindir sbindir libexecdir datarootdir \
1080
		datadir sysconfdir sharedstatedir localstatedir includedir \
1081
		oldincludedir docdir infodir htmldir dvidir pdfdir psdir \
1082
		libdir localedir mandir
1083
do
1084
  eval ac_val=\$$ac_var
1085
  # Remove trailing slashes.
1086
  case $ac_val in
1087
    */ )
1088
      ac_val=`expr "X$ac_val" : 'X\(.*[^/]\)' \| "X$ac_val" : 'X\(.*\)'`
1089
      eval $ac_var=\$ac_val;;
1090
  esac
1091
  # Be sure to have absolute directory names.
1092
  case $ac_val in
1093
    [\\/$]* | ?:[\\/]* )  continue;;
1094
    NONE | '' ) case $ac_var in *prefix ) continue;; esac;;
1095
  esac
1096
  as_fn_error $? "expected an absolute directory name for --$ac_var: $ac_val"
1097
done
1098

  
1099
# There might be people who depend on the old broken behavior: `$host'
1100
# used to hold the argument of --host etc.
1101
# FIXME: To remove some day.
1102
build=$build_alias
1103
host=$host_alias
1104
target=$target_alias
1105

  
1106
# FIXME: To remove some day.
1107
if test "x$host_alias" != x; then
1108
  if test "x$build_alias" = x; then
1109
    cross_compiling=maybe
1110
  elif test "x$build_alias" != "x$host_alias"; then
1111
    cross_compiling=yes
1112
  fi
1113
fi
1114

  
1115
ac_tool_prefix=
1116
test -n "$host_alias" && ac_tool_prefix=$host_alias-
1117

  
1118
test "$silent" = yes && exec 6>/dev/null
1119

  
1120

  
1121
ac_pwd=`pwd` && test -n "$ac_pwd" &&
1122
ac_ls_di=`ls -di .` &&
1123
ac_pwd_ls_di=`cd "$ac_pwd" && ls -di .` ||
1124
  as_fn_error $? "working directory cannot be determined"
1125
test "X$ac_ls_di" = "X$ac_pwd_ls_di" ||
1126
  as_fn_error $? "pwd does not report name of working directory"
1127

  
1128

  
1129
# Find the source files, if location was not specified.
1130
if test -z "$srcdir"; then
1131
  ac_srcdir_defaulted=yes
1132
  # Try the directory containing this script, then the parent directory.
1133
  ac_confdir=`$as_dirname -- "$as_myself" ||
1134
$as_expr X"$as_myself" : 'X\(.*[^/]\)//*[^/][^/]*/*$' \| \
1135
	 X"$as_myself" : 'X\(//\)[^/]' \| \
1136
	 X"$as_myself" : 'X\(//\)$' \| \
1137
	 X"$as_myself" : 'X\(/\)' \| . 2>/dev/null ||
1138
$as_echo X"$as_myself" |
1139
    sed '/^X\(.*[^/]\)\/\/*[^/][^/]*\/*$/{
1140
	    s//\1/
1141
	    q
1142
	  }
1143
	  /^X\(\/\/\)[^/].*/{
1144
	    s//\1/
1145
	    q
1146
	  }
1147
	  /^X\(\/\/\)$/{
1148
	    s//\1/
1149
	    q
1150
	  }
1151
	  /^X\(\/\).*/{
1152
	    s//\1/
1153
	    q
1154
	  }
1155
	  s/.*/./; q'`
1156
  srcdir=$ac_confdir
1157
  if test ! -r "$srcdir/$ac_unique_file"; then
1158
    srcdir=..
1159
  fi
1160
else
1161
  ac_srcdir_defaulted=no
1162
fi
1163
if test ! -r "$srcdir/$ac_unique_file"; then
1164
  test "$ac_srcdir_defaulted" = yes && srcdir="$ac_confdir or .."
1165
  as_fn_error $? "cannot find sources ($ac_unique_file) in $srcdir"
1166
fi
1167
ac_msg="sources are in $srcdir, but \`cd $srcdir' does not work"
1168
ac_abs_confdir=`(
1169
	cd "$srcdir" && test -r "./$ac_unique_file" || as_fn_error $? "$ac_msg"
1170
	pwd)`
1171
# When building in place, set srcdir=.
1172
if test "$ac_abs_confdir" = "$ac_pwd"; then
1173
  srcdir=.
1174
fi
1175
# Remove unnecessary trailing slashes from srcdir.
1176
# Double slashes in file names in object file debugging info
1177
# mess up M-x gdb in Emacs.
1178
case $srcdir in
1179
*/) srcdir=`expr "X$srcdir" : 'X\(.*[^/]\)' \| "X$srcdir" : 'X\(.*\)'`;;
1180
esac
1181
for ac_var in $ac_precious_vars; do
1182
  eval ac_env_${ac_var}_set=\${${ac_var}+set}
1183
  eval ac_env_${ac_var}_value=\$${ac_var}
1184
  eval ac_cv_env_${ac_var}_set=\${${ac_var}+set}
1185
  eval ac_cv_env_${ac_var}_value=\$${ac_var}
1186
done
1187

  
1188
#
1189
# Report the --help message.
1190
#
1191
if test "$ac_init_help" = "long"; then
1192
  # Omit some internal or obsolete options to make the list less imposing.
1193
  # This message is too long to be a string in the A/UX 3.1 sh.
1194
  cat <<_ACEOF
1195
\`configure' configures lustrec 0.1-371 to adapt to many kinds of systems.
1196

  
1197
Usage: $0 [OPTION]... [VAR=VALUE]...
1198

  
1199
To assign environment variables (e.g., CC, CFLAGS...), specify them as
1200
VAR=VALUE.  See below for descriptions of some of the useful variables.
1201

  
1202
Defaults for the options are specified in brackets.
1203

  
1204
Configuration:
1205
  -h, --help              display this help and exit
1206
      --help=short        display options specific to this package
1207
      --help=recursive    display the short help of all the included packages
1208
  -V, --version           display version information and exit
1209
  -q, --quiet, --silent   do not print \`checking ...' messages
1210
      --cache-file=FILE   cache test results in FILE [disabled]
1211
  -C, --config-cache      alias for \`--cache-file=config.cache'
1212
  -n, --no-create         do not create output files
1213
      --srcdir=DIR        find the sources in DIR [configure dir or \`..']
1214

  
1215
Installation directories:
1216
  --prefix=PREFIX         install architecture-independent files in PREFIX
1217
                          [$ac_default_prefix]
1218
  --exec-prefix=EPREFIX   install architecture-dependent files in EPREFIX
1219
                          [PREFIX]
1220

  
1221
By default, \`make install' will install all the files in
1222
\`$ac_default_prefix/bin', \`$ac_default_prefix/lib' etc.  You can specify
1223
an installation prefix other than \`$ac_default_prefix' using \`--prefix',
1224
for instance \`--prefix=\$HOME'.
1225

  
1226
For better control, use the options below.
1227

  
1228
Fine tuning of the installation directories:
1229
  --bindir=DIR            user executables [EPREFIX/bin]
1230
  --sbindir=DIR           system admin executables [EPREFIX/sbin]
1231
  --libexecdir=DIR        program executables [EPREFIX/libexec]
1232
  --sysconfdir=DIR        read-only single-machine data [PREFIX/etc]
1233
  --sharedstatedir=DIR    modifiable architecture-independent data [PREFIX/com]
1234
  --localstatedir=DIR     modifiable single-machine data [PREFIX/var]
1235
  --libdir=DIR            object code libraries [EPREFIX/lib]
1236
  --includedir=DIR        C header files [PREFIX/include]
1237
  --oldincludedir=DIR     C header files for non-gcc [/usr/include]
1238
  --datarootdir=DIR       read-only arch.-independent data root [PREFIX/share]
1239
  --datadir=DIR           read-only architecture-independent data [DATAROOTDIR]
1240
  --infodir=DIR           info documentation [DATAROOTDIR/info]
1241
  --localedir=DIR         locale-dependent data [DATAROOTDIR/locale]
1242
  --mandir=DIR            man documentation [DATAROOTDIR/man]
1243
  --docdir=DIR            documentation root [DATAROOTDIR/doc/lustrec]
1244
  --htmldir=DIR           html documentation [DOCDIR]
1245
  --dvidir=DIR            dvi documentation [DOCDIR]
1246
  --pdfdir=DIR            pdf documentation [DOCDIR]
1247
  --psdir=DIR             ps documentation [DOCDIR]
1248
_ACEOF
1249

  
1250
  cat <<\_ACEOF
1251
_ACEOF
1252
fi
1253

  
1254
if test -n "$ac_init_help"; then
1255
  case $ac_init_help in
1256
     short | recursive ) echo "Configuration of lustrec 0.1-371:";;
1257
   esac
1258
  cat <<\_ACEOF
1259

  
1260
Optional Packages:
1261
  --with-PACKAGE[=ARG]    use PACKAGE [ARG=yes]
1262
  --without-PACKAGE       do not use PACKAGE (same as --with-PACKAGE=no)
1263
  --ocamlgraph-path       specify the path of ocamlgraph library. graph.cmxa
1264
                          should be in ocamlgraph-path [default=$(ocamlfind
1265
                          query ocamlgraph)]
1266

  
1267
Some influential environment variables:
1268
  CC          C compiler command
1269
  CFLAGS      C compiler flags
1270
  LDFLAGS     linker flags, e.g. -L<lib dir> if you have libraries in a
1271
              nonstandard directory <lib dir>
1272
  LIBS        libraries to pass to the linker, e.g. -l<library>
1273
  CPPFLAGS    (Objective) C/C++ preprocessor flags, e.g. -I<include dir> if
1274
              you have headers in a nonstandard directory <include dir>
1275

  
1276
Use these variables to override the choices made by `configure' or to help
1277
it to find libraries and programs with nonstandard names/locations.
1278

  
1279
Report bugs to <ploc@garoche.net>.
1280
_ACEOF
1281
ac_status=$?
1282
fi
1283

  
1284
if test "$ac_init_help" = "recursive"; then
1285
  # If there are subdirs, report their specific --help.
1286
  for ac_dir in : $ac_subdirs_all; do test "x$ac_dir" = x: && continue
1287
    test -d "$ac_dir" ||
1288
      { cd "$srcdir" && ac_pwd=`pwd` && srcdir=. && test -d "$ac_dir"; } ||
1289
      continue
1290
    ac_builddir=.
1291

  
1292
case "$ac_dir" in
1293
.) ac_dir_suffix= ac_top_builddir_sub=. ac_top_build_prefix= ;;
1294
*)
1295
  ac_dir_suffix=/`$as_echo "$ac_dir" | sed 's|^\.[\\/]||'`
1296
  # A ".." for each directory in $ac_dir_suffix.
1297
  ac_top_builddir_sub=`$as_echo "$ac_dir_suffix" | sed 's|/[^\\/]*|/..|g;s|/||'`
1298
  case $ac_top_builddir_sub in
1299
  "") ac_top_builddir_sub=. ac_top_build_prefix= ;;
1300
  *)  ac_top_build_prefix=$ac_top_builddir_sub/ ;;
1301
  esac ;;
1302
esac
1303
ac_abs_top_builddir=$ac_pwd
1304
ac_abs_builddir=$ac_pwd$ac_dir_suffix
1305
# for backward compatibility:
1306
ac_top_builddir=$ac_top_build_prefix
1307

  
1308
case $srcdir in
1309
  .)  # We are building in place.
1310
    ac_srcdir=.
1311
    ac_top_srcdir=$ac_top_builddir_sub
1312
    ac_abs_top_srcdir=$ac_pwd ;;
1313
  [\\/]* | ?:[\\/]* )  # Absolute name.
1314
    ac_srcdir=$srcdir$ac_dir_suffix;
1315
    ac_top_srcdir=$srcdir
1316
    ac_abs_top_srcdir=$srcdir ;;
1317
  *) # Relative name.
1318
    ac_srcdir=$ac_top_build_prefix$srcdir$ac_dir_suffix
1319
    ac_top_srcdir=$ac_top_build_prefix$srcdir
1320
    ac_abs_top_srcdir=$ac_pwd/$srcdir ;;
1321
esac
1322
ac_abs_srcdir=$ac_abs_top_srcdir$ac_dir_suffix
1323

  
1324
    cd "$ac_dir" || { ac_status=$?; continue; }
1325
    # Check for guested configure.
1326
    if test -f "$ac_srcdir/configure.gnu"; then
1327
      echo &&
1328
      $SHELL "$ac_srcdir/configure.gnu" --help=recursive
1329
    elif test -f "$ac_srcdir/configure"; then
1330
      echo &&
1331
      $SHELL "$ac_srcdir/configure" --help=recursive
1332
    else
1333
      $as_echo "$as_me: WARNING: no configuration information is in $ac_dir" >&2
1334
    fi || ac_status=$?
1335
    cd "$ac_pwd" || { ac_status=$?; break; }
1336
  done
1337
fi
1338

  
1339
test -n "$ac_init_help" && exit $ac_status
1340
if $ac_init_version; then
1341
  cat <<\_ACEOF
1342
lustrec configure 0.1-371
1343
generated by GNU Autoconf 2.69
1344

  
1345
Copyright (C) 2012 Free Software Foundation, Inc.
1346
This configure script is free software; the Free Software Foundation
1347
gives unlimited permission to copy, distribute and modify it.
1348
_ACEOF
1349
  exit
1350
fi
1351

  
1352
## ------------------------ ##
1353
## Autoconf initialization. ##
1354
## ------------------------ ##
1355

  
1356
# ac_fn_c_try_compile LINENO
1357
# --------------------------
1358
# Try to compile conftest.$ac_ext, and return whether this succeeded.
1359
ac_fn_c_try_compile ()
1360
{
1361
  as_lineno=${as_lineno-"$1"} as_lineno_stack=as_lineno_stack=$as_lineno_stack
1362
  rm -f conftest.$ac_objext
1363
  if { { ac_try="$ac_compile"
1364
case "(($ac_try" in
1365
  *\"* | *\`* | *\\*) ac_try_echo=\$ac_try;;
1366
  *) ac_try_echo=$ac_try;;
1367
esac
1368
eval ac_try_echo="\"\$as_me:${as_lineno-$LINENO}: $ac_try_echo\""
1369
$as_echo "$ac_try_echo"; } >&5
1370
  (eval "$ac_compile") 2>conftest.err
1371
  ac_status=$?
1372
  if test -s conftest.err; then
1373
    grep -v '^ *+' conftest.err >conftest.er1
1374
    cat conftest.er1 >&5
1375
    mv -f conftest.er1 conftest.err
1376
  fi
1377
  $as_echo "$as_me:${as_lineno-$LINENO}: \$? = $ac_status" >&5
1378
  test $ac_status = 0; } && {
1379
	 test -z "$ac_c_werror_flag" ||
1380
	 test ! -s conftest.err
1381
       } && test -s conftest.$ac_objext; then :
1382
  ac_retval=0
1383
else
1384
  $as_echo "$as_me: failed program was:" >&5
1385
sed 's/^/| /' conftest.$ac_ext >&5
1386

  
1387
	ac_retval=1
1388
fi
1389
  eval $as_lineno_stack; ${as_lineno_stack:+:} unset as_lineno
1390
  as_fn_set_status $ac_retval
1391

  
1392
} # ac_fn_c_try_compile
1393
cat >config.log <<_ACEOF
1394
This file contains any messages produced by compilers while
1395
running configure, to aid debugging if configure makes a mistake.
1396

  
1397
It was created by lustrec $as_me 0.1-371, which was
1398
generated by GNU Autoconf 2.69.  Invocation command line was
1399

  
1400
  $ $0 $@
1401

  
1402
_ACEOF
1403
exec 5>>config.log
1404
{
1405
cat <<_ASUNAME
1406
## --------- ##
1407
## Platform. ##
1408
## --------- ##
1409

  
1410
hostname = `(hostname || uname -n) 2>/dev/null | sed 1q`
1411
uname -m = `(uname -m) 2>/dev/null || echo unknown`
1412
uname -r = `(uname -r) 2>/dev/null || echo unknown`
1413
uname -s = `(uname -s) 2>/dev/null || echo unknown`
1414
uname -v = `(uname -v) 2>/dev/null || echo unknown`
1415

  
1416
/usr/bin/uname -p = `(/usr/bin/uname -p) 2>/dev/null || echo unknown`
1417
/bin/uname -X     = `(/bin/uname -X) 2>/dev/null     || echo unknown`
1418

  
1419
/bin/arch              = `(/bin/arch) 2>/dev/null              || echo unknown`
1420
/usr/bin/arch -k       = `(/usr/bin/arch -k) 2>/dev/null       || echo unknown`
1421
/usr/convex/getsysinfo = `(/usr/convex/getsysinfo) 2>/dev/null || echo unknown`
1422
/usr/bin/hostinfo      = `(/usr/bin/hostinfo) 2>/dev/null      || echo unknown`
1423
/bin/machine           = `(/bin/machine) 2>/dev/null           || echo unknown`
1424
/usr/bin/oslevel       = `(/usr/bin/oslevel) 2>/dev/null       || echo unknown`
1425
/bin/universe          = `(/bin/universe) 2>/dev/null          || echo unknown`
1426

  
1427
_ASUNAME
1428

  
1429
as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
1430
for as_dir in $PATH
1431
do
1432
  IFS=$as_save_IFS
1433
  test -z "$as_dir" && as_dir=.
1434
    $as_echo "PATH: $as_dir"
1435
  done
1436
IFS=$as_save_IFS
1437

  
1438
} >&5
1439

  
1440
cat >&5 <<_ACEOF
1441

  
1442

  
1443
## ----------- ##
1444
## Core tests. ##
1445
## ----------- ##
1446

  
1447
_ACEOF
1448

  
1449

  
1450
# Keep a trace of the command line.
1451
# Strip out --no-create and --no-recursion so they do not pile up.
1452
# Strip out --silent because we don't want to record it for future runs.
1453
# Also quote any args containing shell meta-characters.
1454
# Make two passes to allow for proper duplicate-argument suppression.
1455
ac_configure_args=
1456
ac_configure_args0=
1457
ac_configure_args1=
1458
ac_must_keep_next=false
1459
for ac_pass in 1 2
1460
do
1461
  for ac_arg
... This diff was truncated because it exceeds the maximum size that can be displayed.

Also available in: Unified diff