summaryrefslogtreecommitdiff
path: root/Build/source/utils/autosp/autosp-src/utils.h
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/utils/autosp/autosp-src/utils.h')
-rw-r--r--Build/source/utils/autosp/autosp-src/utils.h66
1 files changed, 0 insertions, 66 deletions
diff --git a/Build/source/utils/autosp/autosp-src/utils.h b/Build/source/utils/autosp/autosp-src/utils.h
deleted file mode 100644
index 419bfdbca03..00000000000
--- a/Build/source/utils/autosp/autosp-src/utils.h
+++ /dev/null
@@ -1,66 +0,0 @@
-
-/*
- utils.h -- header file for autosp, rebar and tex2aspc
-
- Copyright (c) 2005-15 R. D. Tennent
- School of Computing, Queen's University, rdt@cs.queensu.ca
-
-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.
-*/
-
-#ifdef HAVE_CONFIG_H /* for TeXLive */
-#include <config.h>
-#endif
-
-# define PRIVATE static
-# include <stdlib.h>
-# include <string.h>
-# include <stdio.h>
-# include <ctype.h>
-
-# ifdef KPATHSEA
-# include <kpathsea/getopt.h>
-# else
-# include <getopt.h>
-# endif
-# include <time.h>
-
-# define LINE_LEN 1024
-
-# ifdef HAVE_STDBOOL_H
-# include <stdbool.h>
-# else
-# ifndef HAVE__BOOL
-# define _Bool signed char
-# endif
-# define bool _Bool
-# define true 1
-# define false 0
-# endif
-
-extern size_t append (char *dst, char **offset, const char *src, size_t n);
-/* Copies src to *offset and updates *offset accordingly (if possible).
- * Assumes *offset is dst if offset == NULL.
- * The src string must be null-terminated.
- * Execution aborts unless **offset == '\0'.
- * Returns (original offset - dst) + strlen(src); if >= n, the string was truncated.
- */
-
-extern bool prefix (const char *cs, const char *ct); /* is string cs[] a prefix of ct[]? */
-extern bool suffix (const char *cs, const char *ct); /* is string cs[] a suffix of ct[]? */
-
-extern int lineno;
-extern void error (const char msg[]); /* abort with stderr message msg */
-extern void warning (const char msg[]); /* output warning message msg to stderr */