1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
Author: Ralf Treinen <treinen@debian.org>
Description: we have to ensure existence of all generated source files
before generating module dependencies.
Debian-bug: #1105368
Index: hlins/source/Makefile.in
===================================================================
--- hlins.orig/source/Makefile.in 2025-05-14 17:13:30.062944486 +0200
+++ hlins/source/Makefile.in 2025-05-14 17:15:21.415701585 +0200
@@ -75,7 +75,7 @@
install.bc: hlins.bc
cp hlins.bc $(DESTDIR)/$(BINDIR)/hlins
-depend:
+depend: version.ml
$(CAMLDEP) *.ml *.mli > .depend
##########################################################################
|
