X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flibpspp%2Fautomake.mk;h=afbc34b0fe827213d8e24cf512e1d408a00c85d7;hb=e229c3779f9fb5e4bf7786a3bddf5e5d2441da28;hp=305a7c214f1c60a14b1669ff4e98d462cdc83de6;hpb=2d4dd90964061defa92972156ae2a12323708519;p=pspp-builds.git diff --git a/src/libpspp/automake.mk b/src/libpspp/automake.mk index 305a7c21..afbc34b0 100644 --- a/src/libpspp/automake.mk +++ b/src/libpspp/automake.mk @@ -4,6 +4,8 @@ noinst_LIBRARIES += src/libpspp/libpspp.a src_libpspp_libpspp_a_SOURCES = \ + src/libpspp/abt.c \ + src/libpspp/abt.h \ src/libpspp/array.c \ src/libpspp/array.h \ src/libpspp/assertion.h \ @@ -15,6 +17,7 @@ src_libpspp_libpspp_a_SOURCES = \ src/libpspp/copyleft.c \ src/libpspp/copyleft.h \ src/libpspp/compiler.h \ + src/libpspp/deque.h \ src/libpspp/float-format.c \ src/libpspp/float-format.h \ src/libpspp/freaderror.c \ @@ -23,6 +26,8 @@ src_libpspp_libpspp_a_SOURCES = \ src/libpspp/getl.c \ src/libpspp/hash.c \ src/libpspp/hash.h \ + src/libpspp/heap.c \ + src/libpspp/heap.h \ src/libpspp/i18n.c \ src/libpspp/i18n.h \ src/libpspp/integer-format.c \ @@ -55,10 +60,11 @@ src_libpspp_libpspp_a_CPPFLAGS = -I $(top_srcdir)/src/libpspp $(AM_CPPFLAGS) nodist_src_libpspp_libpspp_a_SOURCES = src/libpspp/version.c -src/libpspp/version.c: +src/libpspp/version.c: $(top_srcdir)/AUTHORS @$(top_srcdir)/mkinstalldirs src/libpspp - echo "#include " > $@ - echo "#include \"version.h\"" > $@ + echo "/* -*- mode: c; buffer-read-only: t -*-" > $@ + echo " Generated by src/libpspp/automake.mk --- Do not edit. */">> $@ + echo "#include \"version.h\"" >> $@ echo "const char bare_version[] = \"@VERSION@\";" >> $@ echo "const char version[] = \"GNU @PACKAGE@ @VERSION@\";" >> $@ echo "const char stat_version[] = \"GNU @PACKAGE@ @VERSION@ \ @@ -70,5 +76,7 @@ src/libpspp/version.c: echo "const char include_path[] =\ \"./:~/.pspp/include:$(pkgdatadir)\";" >> $@ echo "const char locale_dir[] = \"$(datadir)/locale\";" >> $@ - + echo "const char *const authors[] = {" >> $@ + sed -e 's/^/ \"/' -e 's/$$/\",/' $(top_srcdir)/AUTHORS >> $@ + echo "0 };" >> $@