X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fautomake.mk;h=a4eeebf11cb48e50b639928d26abad1e2a1b0381;hb=43b96ca660fb4c57674f1625aad48b83c0170de0;hp=f1dde68a56a4febb2fb0f7f82a1d0832c9f4f018;hpb=5915fbdca0307fb20f05555885283b3dc3fbefa0;p=pspp

diff --git a/src/ui/automake.mk b/src/ui/automake.mk
index f1dde68a56..a4eeebf11c 100644
--- a/src/ui/automake.mk
+++ b/src/ui/automake.mk
@@ -1,17 +1,14 @@
 ## Process this file with automake to produce Makefile.in  -*- makefile -*-
 
 include $(top_srcdir)/src/ui/terminal/automake.mk
-if WITHGUI
 include $(top_srcdir)/src/ui/gui/automake.mk
-endif
 
 
 noinst_LTLIBRARIES += src/ui/libuicommon.la
 
 src_ui_libuicommon_la_SOURCES = \
-	src/ui/debugger.c \
-	src/ui/debugger.h \
-	src/ui/syntax-gen.c \
-	src/ui/syntax-gen.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