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
 
 ##########################################################################
