From 30c40580c04228f91a8c009a709108a55520b035 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Fri, 12 Apr 2002 13:37:55 +0000 Subject: [PATCH] cma names parameterized in configure @PACKAGE@ variable --- helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/META.in | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/META.in b/helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/META.in index 3a9568cf7..59c517a17 100644 --- a/helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/META.in +++ b/helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/META.in @@ -1,5 +1,5 @@ requires="gdome2" version="@VERSION@" -archive(byte)="gdome_xslt_init.cmo gdome_xslt.cma" -archive(native)="gdome_xslt_init.cmx gdome_xslt.cmxa" +archive(byte)="gdome_xslt_init.cmo @PACKAGE@.cma" +archive(native)="gdome_xslt_init.cmx @PACKAGE@.cmxa" linkopts="" -- 2.39.2