[Xsb-commits] CVS: XSB/emu extensions_xsb.h,NONE,1.1 pathname_xsb.c,1.14,1.15 orient_xsb.c,1.12,1.13 loader_xsb.c,1.24,1.25 init_xsb.c,1.23,1.24 dynelf_xsb_i.h,1.19,1.20 dynaout_xsb_i.h,1.7,1.8 loader_defs.h,1.3,NONE

[Michael K. <ki...@us...>]

Update of /cvsroot/xsb/XSB/emu
In directory usw-pr-cvs1:/tmp/cvs-serv16049/emu

Modified Files:
	pathname_xsb.c orient_xsb.c loader_xsb.c init_xsb.c 
	dynelf_xsb_i.h dynaout_xsb_i.h 
Added Files:
	extensions_xsb.h 
Removed Files:
	loader_defs.h 
Log Message:
renamed loader_defs.h to extensions.h


--- NEW FILE: extensions_xsb.h ---
/* File:      extensions_xsb.h
** Author(s): kifer
** Contact:   xsb...@cs...
** 
** Copyright (C) The Research Foundation of SUNY, 2002
** 
** XSB is free software; you can redistribute it and/or modify it under the
** terms of the GNU Library General Public License as published by the Free
** Software Foundation; either version 2 of the License, or (at your option)
** any later version.
** 
** XSB 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 Library General Public License for
** more details.
** 
** You should have received a copy of the GNU Library General Public License
** along with XSB; if not, write to the Free Software Foundation,
** Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
**
** $Id: extensions_xsb.h,v 1.1 2002/03/15 09:19:51 kifer Exp $
** 
*/

/* Info on the file extension used for XSB files */

#define XSB_OBJ_EXTENSION_STRING  ".xwam"
#define XSB_OBJ_EXTENSION_LENGTH  5

#define XSB_SRC_EXTENSION_STRING  ".P"

#define XSB_OBJ_EXTENSION_ATOM    '.xwam'
#define XSB_SRC_EXTENSION_ATOM    '.P'
#define XSB_HDR_EXTENSION_ATOM    '.H'

#define XSB_OBJ_EXTENSION_ATOM_SANS_DOT    'xwam'
#define XSB_SRC_EXTENSION_ATOM_SANS_DOT    'P'
#define XSB_HDR_EXTENSION_ATOM_SANS_DOT    'H'

#define XSB_ASM_EXTENSION_ATOM    '.A'
#define XSB_DECL_EXTENSION_ATOM   '.D'

Index: pathname_xsb.c
===================================================================
RCS file: /cvsroot/xsb/XSB/emu/pathname_xsb.c,v
retrieving revision 1.14
retrieving revision 1.15
diff -u -r1.14 -r1.15
--- pathname_xsb.c	13 Mar 2002 10:17:46 -0000	1.14
+++ pathname_xsb.c	15 Mar 2002 09:19:50 -0000	1.15
@@ -54,7 +54,7 @@
 #include "cinterf.h"
 #include "error_xsb.h"
 #include "flags_xsb.h"
-#include "loader_defs.h"
+#include "extensions_xsb.h"
 
 /*=========================================================================*/
 

Index: orient_xsb.c
===================================================================
RCS file: /cvsroot/xsb/XSB/emu/orient_xsb.c,v
retrieving revision 1.12
retrieving revision 1.13
diff -u -r1.12 -r1.13
--- orient_xsb.c	13 Mar 2002 10:17:46 -0000	1.12
+++ orient_xsb.c	15 Mar 2002 09:19:50 -0000	1.13
@@ -47,7 +47,7 @@
 #include "basictypes.h"
 #include "cell_xsb.h"
 #include "error_xsb.h"
-#include "loader_defs.h"
+#include "extensions_xsb.h"
 
 char executable[MAXPATHLEN] = {'\0'};	/* This is set to a real name below */
 

Index: loader_xsb.c
===================================================================
RCS file: /cvsroot/xsb/XSB/emu/loader_xsb.c,v
retrieving revision 1.24
retrieving revision 1.25
diff -u -r1.24 -r1.25
--- loader_xsb.c	13 Mar 2002 10:17:47 -0000	1.24
+++ loader_xsb.c	15 Mar 2002 09:19:50 -0000	1.25
@@ -42,7 +42,7 @@
 #include "psc_xsb.h"
 #include "psc_defs.h"
 #include "loader_xsb.h"
-#include "loader_defs.h"
+#include "extensions_xsb.h"
 #include "cell_xsb.h"
 #include "heap_xsb.h"
 #include "flags_xsb.h"

Index: init_xsb.c
===================================================================
RCS file: /cvsroot/xsb/XSB/emu/init_xsb.c,v
retrieving revision 1.23
retrieving revision 1.24
diff -u -r1.23 -r1.24
--- init_xsb.c	13 Mar 2002 10:17:47 -0000	1.23
+++ init_xsb.c	15 Mar 2002 09:19:50 -0000	1.24
@@ -56,7 +56,7 @@
 #include "choice.h"
 #include "flags_xsb.h"
 #include "loader_xsb.h"
-#include "loader_defs.h"
+#include "extensions_xsb.h"
 #include "macro_xsb.h"
 #include "tr_utils.h"
 #include "export.h"

Index: dynelf_xsb_i.h
===================================================================
RCS file: /cvsroot/xsb/XSB/emu/dynelf_xsb_i.h,v
retrieving revision 1.19
retrieving revision 1.20
diff -u -r1.19 -r1.20
--- dynelf_xsb_i.h	15 Mar 2002 05:01:19 -0000	1.19
+++ dynelf_xsb_i.h	15 Mar 2002 09:19:51 -0000	1.20
@@ -44,7 +44,7 @@
 #include "io_builtins_xsb.h"
 #include "varstring_xsb.h"
 #include "string_xsb.h"
-#include "loader_defs.h"
+#include "extensions_xsb.h"
 
 #define BUFFEXTRA 1024
 

Index: dynaout_xsb_i.h
===================================================================
RCS file: /cvsroot/xsb/XSB/emu/dynaout_xsb_i.h,v
retrieving revision 1.7
retrieving revision 1.8
diff -u -r1.7 -r1.8
--- dynaout_xsb_i.h	15 Mar 2002 05:01:19 -0000	1.7
+++ dynaout_xsb_i.h	15 Mar 2002 09:19:51 -0000	1.8
@@ -42,7 +42,7 @@
 #include "error_xsb.h"
 #include "io_builtins_xsb.h"
 #include "string_xsb.h"
-#include "loader_defs.h"
+#include "extensions_xsb.h"
 
 #define BUFFEXTRA 1024
 

--- loader_defs.h DELETED ---