build kernel as 32-bit ELF for now so GRUB can recognize it as multiboot

2020-10-15 19:46:53 -04:00
1 parent 0adc6e395c
commit 6053745ee9
@@ -0,0 +1,11 @@
+configure do
+  check_c_compiler "gcc"
+  check_program "make"
+  check_program "bison"
+  check_program "flex"
+  check_program "texi2any"
+  check_program "wget"
+  check_lib "gmp"
+  check_lib "mpc"
+  check_lib "mpfr"
+end