# HG changeset patch
# User HackBot
# Date 1468140085 0
# Node ID 3c8030de1ce7a740ad523da743726cb828df4f7b
# Parent  866c7c8cc8d19099ae3ee8114afe58be49001c8a
<fizzie> fetch https://raw.githubusercontent.com/izabera/candide/master/configure

diff -r 866c7c8cc8d1 -r 3c8030de1ce7 configure
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/configure	Sun Jul 10 08:41:25 2016 +0000
@@ -0,0 +1,39 @@
+#!/bin/bash
+gcc -o headers.gch -x c-header -c /dev/fd/0 <<SOURCE
+#define _XOPEN_SOURCE 9001
+#define __USE_XOPEN
+#include <stdio.h>
+#include <stdlib.h>
+#include <string.h>
+#include <unistd.h>
+#include <math.h>
+#include <limits.h>
+#include <sys/types.h>
+#include <stdint.h>
+#include <stdbool.h>
+#include <stddef.h>
+#include <stdarg.h>
+#include <stdnoreturn.h>
+#include <stdalign.h>
+#include <ctype.h>
+#include <inttypes.h>
+#include <float.h>
+#include <errno.h>
+#include <time.h>
+#include <assert.h>
+#include <complex.h>
+#include <setjmp.h>
+#include <wchar.h>
+#include <wctype.h>
+#include <tgmath.h>
+#include <fenv.h>
+#include <locale.h>
+#include <iso646.h>
+#include <signal.h>
+#include <uchar.h>
+#include <unistd.h>
+#include <fcntl.h>
+SOURCE
+# if you have pipes in your directory, you're evil
+sed "s|%%DIRECTORY%%|$PWD|g" candide-to-conf > candide
+chmod +x candide