runtime/Makefile-fragment: Install runtime/optiondb.scm.

Install runtime/optiondb.SCM so that standard-load-options can find it
when searching the library path.

diff --git a/src/runtime/Makefile-fragment b/src/runtime/Makefile-fragment
index 12885f82160ad5bb364a435c5722e31af8010d0d..e39b9958b6bc0084a86eb2998c1d2a17281616e6 100644 (file)
--- a/src/runtime/Makefile-fragment
+++ b/src/runtime/Makefile-fragment
@@ -1,11 +1,11 @@
 RUNDIR = $(AUXDIR)/runtime
-RUNOPTS = chrsyn cpress format gdbm hashtb krypt mime-codec numint optiondb \
+RUNOPTS = chrsyn cpress format gdbm hashtb krypt mime-codec numint \
          ordvec pgsql process rbtree regexp rexp rgxcmp syncproc wttree ystep
 
 install:
        rm -rf $(DESTDIR)$(RUNDIR)
        $(mkinstalldirs) $(DESTDIR)$(RUNDIR)
-       $(INSTALL_DATA) *.pkd *.bci $(DESTDIR)$(RUNDIR)/.
+       $(INSTALL_DATA) *.pkd *.bci optiondb.scm $(DESTDIR)$(RUNDIR)/.
        @for F in $(RUNOPTS); do \
            CMD="$(INSTALL_COM) $${F}.com $(DESTDIR)$(RUNDIR)/.";\
            echo "$${CMD}"; eval "$${CMD}";\