1 /* Java CLASSPATH handling.
2 Copyright (C) 2003 Free Software Foundation, Inc.
3 Written by Bruno Haible <haible@clisp.cons.org>, 2003.
5 This program is free software; you can redistribute it and/or modify
6 it under the terms of the GNU General Public License as published by
7 the Free Software Foundation; either version 2, or (at your option)
10 This program is distributed in the hope that it will be useful,
11 but WITHOUT ANY WARRANTY; without even the implied warranty of
12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13 GNU General Public License for more details.
15 You should have received a copy of the GNU General Public License
16 along with this program; if not, write to the Free Software Foundation,
17 Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */
21 /* Return the new CLASSPATH value. The given classpaths are prepended to
22 the current CLASSPATH value. If use_minimal_classpath, the current
23 CLASSPATH is ignored. */
24 extern char * new_classpath (const char * const *classpaths
,
25 unsigned int classpaths_count
,
26 bool use_minimal_classpath
);
28 /* Set CLASSPATH and returns a safe copy of its old value. */
29 extern char * set_classpath (const char * const *classpaths
,
30 unsigned int classpaths_count
,
31 bool use_minimal_classpath
, bool verbose
);
33 /* Restore CLASSPATH to its previous value. */
34 extern void reset_classpath (char *old_classpath
);