summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLudovic Courtès2010-08-15 19:18:20 +0200
committerLudovic Courtès2010-08-15 19:18:20 +0200
commit137d07d3edd33da1881ffc9db65fa9e4f378148f (patch)
tree01900c8eb44b2179c075f1715f6c4730192afb0e
parentd34681e7e516cbbd8a79fb8bb45f741eea404fd6 (diff)
downloadskribilo-137d07d3edd33da1881ffc9db65fa9e4f378148f.tar.gz
skribilo-137d07d3edd33da1881ffc9db65fa9e4f378148f.tar.lz
skribilo-137d07d3edd33da1881ffc9db65fa9e4f378148f.zip
Make sure compiled files are installed after source files.
* guile-vm.am (skr_install_go_files): New variable. (install-nobase_nodist_moduleDATA): New target.
-rw-r--r--guile-vm.am8
1 files changed, 8 insertions, 0 deletions
diff --git a/guile-vm.am b/guile-vm.am
index 8b291c5..37acca4 100644
--- a/guile-vm.am
+++ b/guile-vm.am
@@ -28,6 +28,14 @@ CLEANFILES += $(GOBJECTS)
SUFFIXES += .go
+# Make sure source files are installed first, so that the mtime of
+# installed compiled files is greater than that of installed source
+# files. See
+# <http://lists.gnu.org/archive/html/guile-devel/2010-07/msg00125.html>
+# for details.
+skr_install_go_files = install-nobase_nodist_moduleDATA
+$(skr_install_go_files): install-nobase_dist_moduleDATA
+
else !ENABLE_GUILE_VM
nobase_dist_module_DATA = $(SOURCES) $(SOURCES_NOT_COMPILED)