gnu99 to c99 (not compiler dependent) produces a warning for mkstemp
[anf2cnf:anf2cnf.git] / INSTALL
1 anf2cnf Installation Guide
2 Copyright (C) 2010, 2011 Luk Bettale
3 See the end of the file for license conditions.
4
5 To compile the executable, you only need make and a C compiler (along
6 with a C standard library). Use `make' to produce the executables.
7 You may wish to install the programs in your system with the
8 `make install' command.
9
10 Finally, you may wish to compile in debug mode. To do so, you may
11 directly use the command `make debug'. In this mode, some extra
12 printings are produce, the binaries are not optimized by the compiler,
13 and some debuging informations are added (to be used with gdb for
14 instance).
15
16 Note that the code using only standard library functions and standard
17 constructions, it should work with any compiler on any platform
18 (though not tested yet).
19
20 \f
21 This file is part of anf2cnf.
22
23 anf2cnf is free software: you can redistribute it and/or modify
24 it under the terms of the GNU General Public License as published by
25 the Free Software Foundation, either version 3 of the License, or
26 (at your option) any later version.
27
28 anf2cnf is distributed in the hope that it will be useful,
29 but WITHOUT ANY WARRANTY; without even the implied warranty of
30 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
31 GNU General Public License for more details.
32
33 You should have received a copy of the GNU General Public License
34 along with GNU Emacs.  If not, see <http://www.gnu.org/licenses/>.