(********************************************************************) (* *) (* library.s7i Manage the C runtime libraries used. *) (* Copyright (C) 1990 - 1994, 2004 - 2014 Thomas Mertes *) (* *) (* This file is part of the Seed7 compiler. *) (* *) (* This program is free software; you can redistribute it and/or *) (* modify it under the terms of the GNU General Public License as *) (* published by the Free Software Foundation; either version 2 of *) (* the License, or (at your option) any later version. *) (* *) (* This program is distributed in the hope that it will be useful, *) (* but WITHOUT ANY WARRANTY; without even the implied warranty of *) (* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the *) (* GNU General Public License for more details. *) (* *) (* You should have received a copy of the GNU General Public *) (* License along with this program; if not, write to the *) (* Free Software Foundation, Inc., 51 Franklin Street, *) (* Fifth Floor, Boston, MA 02110-1301, USA. *) (* *) (********************************************************************) var boolean: bigintLibraryUsed is FALSE; var boolean: compDataLibraryUsed is FALSE; var boolean: compilerLibraryUsed is FALSE; var boolean: consoleLibraryUsed is FALSE; var boolean: databaseLibraryUsed is FALSE; var boolean: drawLibraryUsed is FALSE; var boolean: mathLibraryUsed is FALSE;