cpack_repository/commit

URL-files must only point to package files; not to ClioPatria files.

authorJan Wielemaker
Fri Dec 3 14:25:58 2010 +0100
committerJan Wielemaker
Fri Dec 3 14:25:58 2010 +0100
commit482e2246091db023f14630ca588c836a2d892109
tree87a399d204216629a15c0626e3743025fe3bd11b
parent4c6afc8f2f69d87b39af9cf285cff59b476a0cd0
Diff style: patch stat
diff --git a/lib/cpack/xref.pl b/lib/cpack/xref.pl
index 5d2ecf4..0c2e841 100644
--- a/lib/cpack/xref.pl
+++ b/lib/cpack/xref.pl
@@ -386,7 +386,15 @@ prolog:xref_source_file(Spec, File, _Options) :-
 	rdfs_individual_of(File, cpack:'File'), !.
 prolog:xref_source_file(Spec, File, _Options) :-
 	xref_git,
-	search_file(Spec, File), !.
+	search_file(Spec, File), !,
+					% but NOT a ClioPatria file
+	\+ ( path_rule(Spec, cpacks(Segments)),
+	     path_segments_atom(Segments, InPack),
+	     absolute_file_name(cliopatria(InPack), _,
+				[ file_type(prolog),
+				  access(read),
+				  file_errors(fail)
+				])).
 
 
 		 /*******************************