X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fautomake.mk;h=124380cf48199167ccca16457cdc14cfa5df1d48;hb=432761249a7e96e81407a123d0e25c3de3066202;hp=e1915b283f666bc45dfadb3edc19c3b68131f920;hpb=92c09e564002d356d20fc1e2e131027ef89f6748;p=pspp

diff --git a/src/ui/automake.mk b/src/ui/automake.mk
index e1915b283f..124380cf48 100644
--- a/src/ui/automake.mk
+++ b/src/ui/automake.mk
@@ -1,13 +1,16 @@
 ## Process this file with automake to produce Makefile.in  -*- makefile -*-
 
 include $(top_srcdir)/src/ui/terminal/automake.mk
-if WITHGUI
+if HAVE_GUI
 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_libuicommon_la_SOURCES = \
+	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