Commit dff53855 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Added some autostuff magic.

parent 96a31794
Sylvie Boldo <sylvie.boldo@inria.fr>
Guillaume Melquiond <guillaume.melquiond@inria.fr>
FILES = \
Flocq_Raux.v \
Flocq_defs.v \
Flocq_rnd_ex.v
data_DATA = $(FILES:=o)
EXTRA_DIST = autogen.sh $(FILES)
CLEANFILES = $(FILES:=o) $(FILES:=d)
datadir = $(libdir)
%.vo: %.v
@echo COQC $<
@$(COQC) $(COQRFLAG) $<
%.vd: %.v
@echo COQDEP $<
@$(COQDEP) $< | sed -e 's,\($*\)\.vo[ :]*,\1.vo $@ : ,g' > $@
include $(FILES:=d)
#!/bin/sh
touch ChangeLog
autoreconf -i -s
AC_INIT([Flocq], [0.1],
[Sylvie Boldo <sylvie.boldo@inria.fr>, Guillaume Melquiond <guillaume.melquiond@inria.fr>],
[flocq])
AM_INIT_AUTOMAKE
m4_divert_push(99)
if test "$ac_init_help" = "long"; then
ac_init_help=short
fi
m4_divert_pop(99)
m4_divert_push([HELP_ENABLE])
Fine tuning of the installation directory:
AS_HELP_STRING([--libdir=DIR], [library @<:@DIR=`$COQC -where`/user-contrib/Flocq@:>@])
m4_divert_pop([HELP_ENABLE])
AC_ARG_VAR(COQC, [Coq compiler command [coqc]])
AC_CHECK_TOOL(COQC, coqc)
AC_ARG_VAR(COQDEP, [Coq compiler command [coqdep]])
AC_CHECK_TOOL(COQDEP, coqdep)
if test "$libdir" = '${exec_prefix}/lib'; then
libdir='`$(COQC) -where`/user-contrib/Gappa'
fi
AC_SUBST(COQRFLAG, ['-R . Flocq'])
AC_ARG_ENABLE([prefix], AS_HELP_STRING([--disable-prefix], [do not compile files into a Flocq module]),
[if test "$enable_prefix" = "no"; then COQRFLAG= ; fi], [])
AC_CONFIG_FILES([Makefile])
AC_OUTPUT
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment