Description: Fix test for gnat-6 on kfreebsd-amd64.
 If the objects are not available when building demo.adb,
 the produced executable crashes with a segmentation fault.
 .
 This is probably a bug in gnat-6, as the same test has been compiling
 for years on the same architecture, and the problem disappears when
 some generics are replaced with copies, or when some types finalized
 without Ada.Finalization, or when assertions are enabled.
Author: Nicolas Boulenguez <nicolas@debian.org>

--- a/Makefile
+++ b/Makefile
@@ -137,6 +137,8 @@
 	mkdir -p demo-install
 	$(MAKE) install DESTDIR=demo-install
 
+	cp obj-dynamic/*.o demo-install/$(ALI_DIR)/$(LIB_NAME)
+
 	gnatmake demo/demo.adb -o demo/obj-dynamic/demo -D demo/obj-dynamic $(GNATMAKE_OPTIONS) \
           -aIdemo-install/$(SRC_DIR)/$(LIB_NAME) \
           -aOdemo-install/$(ALI_DIR)/$(LIB_NAME) \