diff options
Diffstat (limited to 'dev-lang/xsb/files/xsb-3.0.1-gap.patch')
| -rw-r--r-- | dev-lang/xsb/files/xsb-3.0.1-gap.patch | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/dev-lang/xsb/files/xsb-3.0.1-gap.patch b/dev-lang/xsb/files/xsb-3.0.1-gap.patch new file mode 100644 index 000000000000..245e5f0b1e51 --- /dev/null +++ b/dev-lang/xsb/files/xsb-3.0.1-gap.patch @@ -0,0 +1,10 @@ +--- XSB.orig/packages/gap.P 1999-12-31 07:20:55.000000000 +1300 ++++ XSB/packages/gap.P 2007-01-26 19:43:27.000000000 +1300 +@@ -33,5 +33,6 @@ + + gap_meta(Call):- meta(Call). + +-:- bootstrap_package('gap',gap). ++:- bootstrap_package('gap',gap), ++ [gapmeta]. + |