Commit b271ae34 authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

Build demos during "make distcheck".

parent 836e620a
2008-03-09 Alexandre Duret-Lutz <adl@lrde.epita.fr>
Build demos during "make distcheck".
* configure.ac: Define the --enable-demos flags (already used
by DISTCHECK_CONFIGURE_FLAGS) and the ENABLE_DEMOS conditional.
* doc/README.txt: Mention the src/demos/ directory.
* src/demos/algorithms/Makefile.am,
src/demos/function_library/Makefile.am,
src/demos/one_rule_rewriting/Makefile.am,
src/demos/vgrep/Makefile.am: Rewrite to build all demos during
"make all" as noinst_PROGRAMS.
* src/demos/demo.mk (EXTRA_PROGRAMS, demos): Remove, no longuer
needed.
* src/demos/Makefile.am (demos): Remove.
* src/Makefile.am (SUBDIRS): Recurse into demos only if
ENABLE_DEMOS.
(demos): Simply run "make all" in src/demos
* Makefile.am (demos): Likewise.
2008-03-09 Alexandre Duret-Lutz <adl@lrde.epita.fr>
* src/demos/function_library/rt_tdc_algorithms.cc (command_map):
......
## Vaucanson, a generic library for finite state machines.
## Copyright (C) 2001, 2002, 2003, 2004, 2005, 2006, 2007 The Vaucanson Group.
## Copyright (C) 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008 The Vaucanson Group.
##
## This program is free software; you can redistribute it and/or
## modify it under the terms of the GNU General Public License
......@@ -47,7 +47,7 @@ ACLOCAL_AMFLAGS = -I build-aux
### Making the demos. (. is builddir)
###
demos:
cd src/demos && $(MAKE) $(AM_MAKEFLAGS) demos
cd src/demos && $(MAKE) $(AM_MAKEFLAGS) all
###
### For benchs. (. is builddir)
......
# Vaucanson, a generic library for finite state machines.
# Copyright (C) 2001, 2002, 2003, 2004, 2005, 2006, 2007 The Vaucanson Group.
# Copyright (C) 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008 The Vaucanson Group.
#
# This program is free software; you can redistribute it and/or
# modify it under the terms of the GNU General Public License
......@@ -37,6 +37,11 @@ AC_WITH_VCSN
AC_PROG_AWK
AC_ARG_ENABLE([demos],
[AC_HELP_STRING([--enable-demos], [build demos during "make all"])])
AM_CONDITIONAL([ENABLE_DEMOS], [test "x$enable_demos" = "xyes"])
## ------------ ##
## Vaucanswig. ##
## ------------ ##
......
Vaucanson, a generic library for finite state machines.
Copyright (C) 2001, 2002, 2003, 2004, 2005, 2006, 2007 The Vaucanson Group.
Copyright (C) 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008 The
Vaucanson Group.
This program is free software; you can redistribute it and/or
modify it under the terms of the GNU General Public License
......@@ -72,11 +73,11 @@ Between ``make`` and ``make install``, you may also want to run::
make sanity-check
make check
``make demos`` will build example binaries. ``make sanity-check``
will make sure that Vaucanson's header files can be included and
compiled. ``make check`` will run the test suite to check the whole
library. Running the test suite may require up to 1.5GB of free space
and several hours.
``make demos`` will build example binaries in ``src/demos/``. ``make
sanity-check`` will make sure that Vaucanson's header files can be
included and compiled. ``make check`` will run the test suite to
check the whole library. Running the test suite may require up to
1.5GB of free space and several hours.
Additional features
......
## Vaucanson, a generic library for finite state machines.
## Copyright (C) 2001, 2002, 2003, 2004, 2005, 2006 The Vaucanson Group.
## Copyright (C) 2001, 2002, 2003, 2004, 2005, 2006, 2008 The Vaucanson Group.
##
## This program is free software; you can redistribute it and/or
## modify it under the terms of the GNU General Public License
......@@ -12,13 +12,16 @@
## The Vaucanson Group consists of people listed in the `AUTHORS' file.
SUBDIRS = tests \
benchs \
demos
benchs
if ENABLE_DEMOS
SUBDIRS += demos
endif
.PHONY: demos benchs
demos:
cd demos && $(MAKE) $(AM_MAKEFLAGS) demos
cd demos && $(MAKE) $(AM_MAKEFLAGS) all
benchs:
cd benchs && $(MAKE) $(AM_MAKEFLAGS) benchs
## Vaucanson, a generic library for finite state machines.
## Copyright (C) 2001, 2002, 2003, 2004, 2005, 2006 The Vaucanson Group.
## Copyright (C) 2001, 2002, 2003, 2004, 2005, 2006, 2008 The Vaucanson Group.
##
## This program is free software; you can redistribute it and/or
## modify it under the terms of the GNU General Public License
......@@ -15,11 +15,4 @@ SUBDIRS = \
algorithms \
function_library \
one_rule_rewriting \
vgrep \
.
demos:
for dir in $(SUBDIRS); do \
[ "$$dir" = . ] || \
(cd "$$dir" && $(MAKE) $(AM_MAKEFLAGS) demos || exit 1); \
done
vgrep
# Vaucanson, a generic library for finite state machines.
# Copyright (C) 2001, 2002, 2003, 2004, 2005, 2006 The Vaucanson Group.
# Copyright (C) 2001, 2002, 2003, 2004, 2005, 2006, 2008 The Vaucanson Group.
#
# This program is free software; you can redistribute it and/or
# modify it under the terms of the GNU General Public License
......@@ -13,12 +13,11 @@
include ../demo.mk
EXTRA_DIST = equivalent_functions.hh
AM_CPPFLAGS += $(XSD_CPPFLAGS)
TESTERS = universal aut_are_equivalent \
exp_are_equivalent
EXTRA_DIST = equivalent_functions.hh
noinst_PROGRAMS = universal aut_are_equivalent exp_are_equivalent
universal_SOURCES = universal.cc
......@@ -31,4 +30,3 @@ exp_are_equivalent_SOURCES = exp_are_equivalent.cc equivalent_functions.cc
exp_are_equivalent_CPPFLAGS = $(AM_CPPFLAGS) \
-DCONTEXT_HEADER="<vaucanson/boolean_automaton.hh>" \
-DCONTEXT_NAMESPACE="vcsn::boolean_automaton"
## Vaucanson, a generic library for finite state machines.
## Copyright (C) 2001, 2002, 2003, 2004, 2005, 2006 The Vaucanson Group.
## Copyright (C) 2001, 2002, 2003, 2004, 2005, 2006, 2008 The Vaucanson Group.
##
## This program is free software; you can redistribute it and/or
## modify it under the terms of the GNU General Public License
......@@ -14,7 +14,3 @@
include $(top_srcdir)/vaucanson.mk
AM_CXXFLAGS += -DINTERNAL_CHECKS -DSTRICT
EXTRA_PROGRAMS = $(GENERATORS) $(TESTERS)
demos: $(TESTERS)
## Vaucanson, a generic library for finite state machines.
## Copyright (C) 2001, 2002, 2003, 2004, 2005, 2006 The Vaucanson Group.
## Copyright (C) 2001, 2002, 2003, 2004, 2005, 2006, 2008 The Vaucanson Group.
##
## This program is free software; you can redistribute it and/or
## modify it under the terms of the GNU General Public License
......@@ -11,20 +11,17 @@
##
## The Vaucanson Group consists of people listed in the `AUTHORS' file.
include $(top_srcdir)/vaucanson.mk
include ../demo.mk
AM_CPPFLAGS += $(CXXFLAGS_STRICT)
AM_CXXFLAGS += -DINTERNAL_CHECKS -DSTRICT
EXTRA_PROGRAMS = \
noinst_PROGRAMS = \
r \
z_max_plus \
z_min_plus \
tdc \
rt_tdc
demos: $(EXTRA_PROGRAMS)
r_SOURCES = algorithms.cc
r_CPPFLAGS = $(AM_CPPFLAGS) \
-DCONTEXT_HEADER="<vaucanson/r_automaton.hh>" \
......
## Vaucanson, a generic library for finite state machines.
## Copyright (C) 2001, 2002, 2003, 2004, 2005, 2006 The Vaucanson Group.
## Copyright (C) 2001, 2002, 2003, 2004, 2005, 2006, 2008 The Vaucanson Group.
##
## This program is free software; you can redistribute it and/or
## modify it under the terms of the GNU General Public License
......@@ -11,10 +11,15 @@
##
## The Vaucanson Group consists of people listed in the `AUTHORS' file.
include $(top_srcdir)/src/demos/demo.mk
include ../demo.mk
TESTERS = fibonacci_demo fibonacci_rt fibonacci_tdc ORR_demo ORR_rt \
ORR_tdc
noinst_PROGRAMS = \
fibonacci_demo \
fibonacci_rt \
fibonacci_tdc \
ORR_demo \
ORR_rt \
ORR_tdc
fibonacci_demo_SOURCES = fibonacci_demo.cc
......
# src/demos/vgrep/Makefile.am -*- Makefile -*-
#
# Vaucanson, a generic library for finite state machines.
# Copyright (C) 2001, 2002, 2003, 2004, 2005, 2006, 2007 The Vaucanson Group.
# Copyright (C) 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008 The
# Vaucanson Group.
#
# This program is free software; you can redistribute it and/or
# modify it under the terms of the GNU General Public License
......@@ -14,12 +15,8 @@
# The Vaucanson Group consists of people listed in the `AUTHORS' file.
#
include $(top_srcdir)/vaucanson.mk
include ../demo.mk
AM_CXXFLAGS += -DINTERNAL_CHECKS -DSTRICT
EXTRA_PROGRAMS = vgrep
demos: vgrep
noinst_PROGRAMS = vgrep
vgrep_SOURCES = vgrep.cc
Supports Markdown
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