diff options
author | Ludovic Courtès | 2010-08-15 19:18:20 +0200 |
---|---|---|
committer | Ludovic Courtès | 2010-08-15 19:18:20 +0200 |
commit | 137d07d3edd33da1881ffc9db65fa9e4f378148f (patch) | |
tree | 01900c8eb44b2179c075f1715f6c4730192afb0e | |
parent | d34681e7e516cbbd8a79fb8bb45f741eea404fd6 (diff) | |
download | skribilo-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.am | 8 |
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) |