/* -----------------------------------------------------------------------------
- * $Id: HsBase.h,v 1.7 2002/04/02 15:33:34 sof Exp $
+ * $Id: HsBase.h,v 1.12 2002/08/30 14:54:58 simonpj Exp $
*
* (c) The University of Glasgow 2001-2002
*
#include <stdio.h>
#include <stdlib.h>
+#include <math.h>
#ifdef HAVE_SYS_TYPES_H
#include <sys/types.h>
/* in system.c */
HsInt systemCmd(HsAddr cmd);
+/* in rawSystem.c */
+HsInt rawSystemCmd(HsAddr cmd);
+
/* in inputReady.c */
int inputReady(int fd, int msecs, int isSock);
#endif
}
+INLINE int __hscore_hs_fileno (FILE *f) { return fileno (f); }
+
#endif