@@ -1592,23 +1592,6 @@ unification_set_compiler("root", CompilerName, CompilerVersion, Language) :-
15921592
15931593error(100, "Compiler mixing is disabled") :- #count { X,Y,Z : unification_set_compiler("root", X,Y,Z) } > 1.
15941594
1595- %:- hash_attr(ParentHash, "concrete_build_dependency", "dt-diamond-left ", "gcc", CompilerHash),
1596- %hash_attr(ParentHash, "virtual_on_build_edge", "dt-diamond-left ", "gcc", "c"),
1597- %hash_attr(CompilerHash, "virtual_on_incoming_edges", "gcc", "c"),
1598- %hash_attr(CompilerHash, "version", "gcc", CompilerVersion),
1599- %compiler_mixing(0, "c"),
1600- %language("c"),
1601- %not allow_mixing("dt-diamond-left "),
1602- %attr("hash", ParentNode, ParentHash). <--- it all works up to here
1603- %attr("hash", CompilerNode, CompilerHash).
1604-
1605- %:- attr("hash", node(_, "apple-clang"), _).
1606-
1607- %error(100, "Compiler mixing is disabled") :-
1608- % unification_set_compiler(X, CompilerNode1, Language),
1609- % unification_set_compiler(X, CompilerNode2, Language),
1610- % CompilerNode1 != CompilerNode2.
1611-
16121595%-----------------------------------------------------------------------------
16131596% Runtimes
16141597%-----------------------------------------------------------------------------
0 commit comments