File	Date	Author	Commit
developers	2025-05-25	Andrew Miner	[2c5039] Script notes
docs	2025-05-25	Andrew Miner	[92e6b8] Updated for 0.17.8 release
doxygen	2018-05-25	Andrew Miner	[565785] Added doxygen makefiles
doxygen-devel	2018-05-25	Andrew Miner	[565785] Added doxygen makefiles
examples	2025-01-27	Andrew Miner	[89ca52] Done migrating to new unpacked_node :)
m4	2016-11-11	Andrew S. Miner	[04408f] More portable header :^)
manual	2017-07-07	Andrew Miner	[7f68c7] Removed lots of $Id's
src	2025-05-25	Andrew Miner	[92e6b8] Updated for 0.17.8 release
tests	2025-05-25	Andrew Miner	[5b1736] Another "make dist" fix :)
timing	2025-01-27	Andrew Miner	[89ca52] Done migrating to new unpacked_node :)
visual	2018-05-24	Andrew Miner	[220f2e] Removed larger test files in visualization folders
www	2018-05-22	Andrew Miner	[c87024] Released 0.15.0
.editorconfig	2023-03-26	Andrew Miner	[dd3217] Added .editorconfig :)
.gitignore	2025-01-23	Andrew Miner	[8936b4] ?
AUTHORS	2012-07-27	Andrew S. Miner	[f07c0f] Added switch for "per level" or "monolithic"
COPYING	2009-03-10	Andrew S. Miner	[27a537] Added LGPL license information.
COPYING.LESSER	2009-03-10	Andrew S. Miner	[27a537] Added LGPL license information.
Makefile.am	2023-10-21	Andrew Miner	[a7a9cc] Building some basic timing experiments :)
NEWS	2009-03-30	Junaid Babar	[69c64d] Moved Meddly to sourceforge.net. ChangeLog upda...
README	2024-01-08	Andrew Miner	[f1d280] Updated documentation
autogen.sh	2017-07-07	Andrew Miner	[7f68c7] Removed lots of $Id's
configure.ac	2025-01-24	Andrew Miner	[d0e130] Updated version number

Read Me

Subdirectories:
---------------

developers/   Documentation and scripts useful to Meddly developers
docs/         Online documentation for github pages
doxygen/      Generated doxygen docs from source code
examples/     Stand-alone applications that use the library
include/      Include files installed here, unless prefix is changed
lib/          Compiled library installed here, unless prefix is changed
m4/           Directory of configuration helper scripts
manual/       User manual source files
src/          Library source code
tests/        Test applications used by "make check"
visual/       Visualization utilities that work with the library.
www/          Web page sources

Building the library:
---------------------

You will need g++, autoconf, automake and libtool.
Do either (1a) or (1b), followed by the remaining steps.


1a. $ developers/Config_generic.sh
    or
    $ developers/Config_generic.sh --debug
    to create and run the configure script, and build the Makefiles.

1b. Run
    $ ./autogen.sh
    to create the configure script. This should be run for the
    first build, and whenever the source code files or layout changes.
    Then, run
    $ ./configure
    This will setup the build files.
    Can be used to set various compile options;
    see "Configuration Options" below.
    An alternate would be:
    $ ./configure --prefix=/other/install/location
    (See "make install" further down for reasons).



2.  $ make
    Build the library.
    Library will be in src/. Applications in src/ and examples/. This may be
    sufficient for most users.

3.  $ make install
    Library in lib/, include files in include/.  This can be changed
    in step (1) by selecting an alternate location, for example using
        --prefix=/usr/local
    will install libraries in /usr/local/lib and headers in /usr/local/include.
    If you reconfigure, make sure you run "make clean" before running "make".

4.  $ make uninstall
    Removes the files installed in bin/ and lib/.

5.  $ make clean
    Removes the results of compilation from src/ and examples/.

Build the documentation:
------------------------

0.  Need to have doxygen installed.

1.  $ cd doxygen

2.  If you see doxygen/html/index.html and doxygen/refman.pdf, your docs have
    already been built and you can ignore the rest of the steps. Otherwise:
    $ make
    This will create the folders doxygen/html and doxygen/latex.
    doxygen/html: HTML documentation. See index.html.
    doxygen/latex: Tex-based documentation. See refman.tex.
    If you have latex installed:
    a.  $ cd latex
    b.  $ make
        This will create refman.dvi.
    c.  $ make pdf
        This will create refman.pdf (using ps2pdf).

3.  $ make clean
    Removes doxygen/ and html/.

4.  Technical documentation can be generated the same way, in doxygen-devel/

Configuration Options
---------------------
Several environment variables may be set before running configure.
For example, to build a version of the library with support for
Extensible Decision Diagrams (XDDs):

$ ./configure CPPFLAGS="-DUSE_XDDS"

To build an optimized version of the library:

$ ./configure CXXFLAGS="-O3"

To build a debuggable version of the library:

$ ./configure CXXFLAGS="-ggdb -DDEVELOPMENT_CODE"

To set the location of the gmp library, by hand
(only necessary if ./configure fails to find it):

$ ./configure CPPFLAGS="-I/path/to/gmp/header" LDFLAGS="-L/path/to/gmp/lib"

To disable gmp support in Meddly:

$ ./configure --without-gmp