From: Adam Chlipala Date: Tue, 28 Sep 2004 13:17:33 +0000 (+0000) Subject: Remove Makefile X-Git-Url: https://git.hcoop.net/hcoop/smlsql.git/commitdiff_plain/ae2f7b3a09604e8ee53b0a9341b1983e4067b80c Remove Makefile --- diff --git a/libpq/Makefile b/libpq/Makefile deleted file mode 100644 index aa3eac0..0000000 --- a/libpq/Makefile +++ /dev/null @@ -1,8 +0,0 @@ -FILES = /usr/include/postgresql/libpq-fe.h -H = LibpqH.libh -D = FFI -HF = ../libpq-h.sml -CF = libpq.h.cm - -$(D)/$(CF): $(FILES) - ml-nlffigen -include $(HF) -libhandle $(H) -dir $(D) -cmfile $(CF) $^ \ No newline at end of file