X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fautomake.mk;h=c21b681d1f289f980e8bbcd274c2743726c73275;hb=34bf67fbfdce409a1cefdc101518c633636c1f43;hp=f2d56bad2d337d64eb523444064c54c163492c7c;hpb=3e15bceda1caf57a898ed98e147a6bc176d8b1fb;p=pspp

diff --git a/src/ui/automake.mk b/src/ui/automake.mk
index f2d56bad2d..c21b681d1f 100644
--- a/src/ui/automake.mk
+++ b/src/ui/automake.mk
@@ -6,10 +6,12 @@ include $(top_srcdir)/src/ui/gui/automake.mk
 endif
 
 
-noinst_LIBRARIES += src/ui/libuicommon.a
+noinst_LTLIBRARIES += src/ui/libuicommon.la
 
-src_ui_libuicommon_a_SOURCES = \
-	src/ui/debugger.c \
-	src/ui/debugger.h \
-	src/ui/flexifile.c \
-	src/ui/flexifile.h
+src_ui_libuicommon_la_SOURCES = \
+	src/ui/command-line.c src/ui/command-line.h \
+	src/ui/debugger.c src/ui/debugger.h \
+	src/ui/source-init-opts.c src/ui/source-init-opts.h \
+	src/ui/syntax-gen.c src/ui/syntax-gen.h
+
+EXTRA_DIST += src/ui/OChangeLog