diff options
author | V3n3RiX <venerix@redcorelinux.org> | 2018-08-04 08:53:53 +0100 |
---|---|---|
committer | V3n3RiX <venerix@redcorelinux.org> | 2018-08-04 08:53:53 +0100 |
commit | e3872864be25f7421015bef2732fa57c0c9fb726 (patch) | |
tree | 9cb29a544215119b5c5538e37211b994ce1c87ae /dev-lang/logtalk/files | |
parent | 480486b52ea64765faf696c88b2c6a26a5a454d4 (diff) |
gentoo resync : 04.08.2018
Diffstat (limited to 'dev-lang/logtalk/files')
3 files changed, 19 insertions, 68 deletions
diff --git a/dev-lang/logtalk/files/logtalk-3.00.0-no-user-docs.patch b/dev-lang/logtalk/files/logtalk-3.00.0-no-user-docs.patch deleted file mode 100644 index 7c14f28413a6..000000000000 --- a/dev-lang/logtalk/files/logtalk-3.00.0-no-user-docs.patch +++ /dev/null @@ -1,34 +0,0 @@ ---- a/scripts/logtalk_user_setup.sh -+++ b/scripts/logtalk_user_setup.sh -@@ -114,14 +114,12 @@ - - echo "Copying Logtalk files and directories..." - mkdir -p "$LOGTALKUSER"/contributions --mkdir -p "$LOGTALKUSER"/docs - mkdir -p "$LOGTALKUSER"/examples - mkdir -p "$LOGTALKUSER"/library - mkdir -p "$LOGTALKUSER"/scratch - mkdir -p "$LOGTALKUSER"/tests - mkdir -p "$LOGTALKUSER"/tools - cp -RL "$LOGTALKHOME"/contributions "$LOGTALKUSER"/ --cp -RL "$LOGTALKHOME"/docs "$LOGTALKUSER"/ - cp -RL "$LOGTALKHOME"/examples "$LOGTALKUSER"/ - cp -RL "$LOGTALKHOME"/library "$LOGTALKUSER"/ - cp -RL "$LOGTALKHOME"/scratch "$LOGTALKUSER"/ -@@ -135,16 +133,7 @@ - rm -f "$LOGTALKUSER"/tools/lgtdoc/xml/lgt2* - rm -f "$LOGTALKUSER"/tools/lgtdoc/xml/logtalk.dtd - rm -f "$LOGTALKUSER"/tools/lgtdoc/xml/logtalk.xsd --ln -sf "$LOGTALKHOME"/BIBLIOGRAPHY.bib "$LOGTALKUSER"/BIBLIOGRAPHY.bib --ln -sf "$LOGTALKHOME"/CUSTOMIZE.md "$LOGTALKUSER"/CUSTOMIZE.md --ln -sf "$LOGTALKHOME"/INSTALL.md "$LOGTALKUSER"/INSTALL.md --ln -sf "$LOGTALKHOME"/LICENSE.txt "$LOGTALKUSER"/LICENSE.txt --ln -sf "$LOGTALKHOME"/QUICK_START.md "$LOGTALKUSER"/QUICK_START.md --ln -sf "$LOGTALKHOME"/README.md "$LOGTALKUSER"/README.md --ln -sf "$LOGTALKHOME"/RELEASE_NOTES.md "$LOGTALKUSER"/RELEASE_NOTES.md --ln -sf "$LOGTALKHOME"/UPGRADING.md "$LOGTALKUSER"/UPGRADING.md - ln -sf "$LOGTALKHOME"/adapters "$LOGTALKUSER"/adapters --ln -sf "$LOGTALKHOME"/manuals "$LOGTALKUSER"/manuals - ln -sf "$LOGTALKHOME"/paths "$LOGTALKUSER"/paths - ln -sf "$LOGTALKHOME"/coding "$LOGTALKUSER"/coding - ln -sf "$LOGTALKHOME"/tools/lgtdoc/xml/lgt2html.sh "$LOGTALKUSER"/tools/lgtdoc/xml/lgt2html diff --git a/dev-lang/logtalk/files/logtalk-3.03.0-no-user-docs.patch b/dev-lang/logtalk/files/logtalk-3.03.0-no-user-docs.patch deleted file mode 100644 index 6d4e7ab9154b..000000000000 --- a/dev-lang/logtalk/files/logtalk-3.03.0-no-user-docs.patch +++ /dev/null @@ -1,34 +0,0 @@ ---- a/scripts/logtalk_user_setup.sh -+++ b/scripts/logtalk_user_setup.sh -@@ -110,14 +110,12 @@ - - echo "Copying Logtalk files and directories..." - mkdir -p "$LOGTALKUSER"/contributions --mkdir -p "$LOGTALKUSER"/docs - mkdir -p "$LOGTALKUSER"/examples - mkdir -p "$LOGTALKUSER"/library - mkdir -p "$LOGTALKUSER"/scratch - mkdir -p "$LOGTALKUSER"/tests - mkdir -p "$LOGTALKUSER"/tools - cp -RL "$LOGTALKHOME"/contributions "$LOGTALKUSER"/ --cp -RL "$LOGTALKHOME"/docs "$LOGTALKUSER"/ - cp -RL "$LOGTALKHOME"/examples "$LOGTALKUSER"/ - cp -RL "$LOGTALKHOME"/library "$LOGTALKUSER"/ - cp -RL "$LOGTALKHOME"/scratch "$LOGTALKUSER"/ -@@ -131,16 +129,7 @@ - rm -f "$LOGTALKUSER"/tools/lgtdoc/xml/lgt2* - rm -f "$LOGTALKUSER"/tools/lgtdoc/xml/logtalk.dtd - rm -f "$LOGTALKUSER"/tools/lgtdoc/xml/logtalk.xsd --ln -sf "$LOGTALKHOME"/BIBLIOGRAPHY.bib "$LOGTALKUSER"/BIBLIOGRAPHY.bib --ln -sf "$LOGTALKHOME"/CUSTOMIZE.md "$LOGTALKUSER"/CUSTOMIZE.md --ln -sf "$LOGTALKHOME"/INSTALL.md "$LOGTALKUSER"/INSTALL.md --ln -sf "$LOGTALKHOME"/LICENSE.txt "$LOGTALKUSER"/LICENSE.txt --ln -sf "$LOGTALKHOME"/QUICK_START.md "$LOGTALKUSER"/QUICK_START.md --ln -sf "$LOGTALKHOME"/README.md "$LOGTALKUSER"/README.md --ln -sf "$LOGTALKHOME"/RELEASE_NOTES.md "$LOGTALKUSER"/RELEASE_NOTES.md --ln -sf "$LOGTALKHOME"/UPGRADING.md "$LOGTALKUSER"/UPGRADING.md - ln -sf "$LOGTALKHOME"/adapters "$LOGTALKUSER"/adapters --ln -sf "$LOGTALKHOME"/manuals "$LOGTALKUSER"/manuals - ln -sf "$LOGTALKHOME"/paths "$LOGTALKUSER"/paths - ln -sf "$LOGTALKHOME"/coding "$LOGTALKUSER"/coding - ln -sf "$LOGTALKHOME"/tools/lgtdoc/xml/lgt2html.sh "$LOGTALKUSER"/tools/lgtdoc/xml/lgt2html diff --git a/dev-lang/logtalk/files/logtalk-3.18.0-portage.patch b/dev-lang/logtalk/files/logtalk-3.18.0-portage.patch new file mode 100644 index 000000000000..cb0d44010d25 --- /dev/null +++ b/dev-lang/logtalk/files/logtalk-3.18.0-portage.patch @@ -0,0 +1,19 @@ +--- logtalk-3.18.0.orig/scripts/logtalk_user_setup.sh 2018-06-26 15:11:02.000000000 +0200 ++++ logtalk-3.18.0/scripts/logtalk_user_setup.sh 2018-07-22 14:05:50.343406307 +0200 +@@ -131,16 +131,6 @@ + rm -f "$LOGTALKUSER"/tools/lgtdoc/xml/lgt2* + rm -f "$LOGTALKUSER"/tools/lgtdoc/xml/logtalk.dtd + rm -f "$LOGTALKUSER"/tools/lgtdoc/xml/logtalk.xsd +-ln -sf "$LOGTALKHOME"/ACKNOWLEDGMENTS.md "$LOGTALKUSER"/ACKNOWLEDGMENTS.md +-ln -sf "$LOGTALKHOME"/BIBLIOGRAPHY.bib "$LOGTALKUSER"/BIBLIOGRAPHY.bib +-ln -sf "$LOGTALKHOME"/CONTRIBUTING.md "$LOGTALKUSER"/CONTRIBUTING.md +-ln -sf "$LOGTALKHOME"/CUSTOMIZE.md "$LOGTALKUSER"/CUSTOMIZE.md +-ln -sf "$LOGTALKHOME"/INSTALL.md "$LOGTALKUSER"/INSTALL.md +-ln -sf "$LOGTALKHOME"/LICENSE.txt "$LOGTALKUSER"/LICENSE.txt +-ln -sf "$LOGTALKHOME"/QUICK_START.md "$LOGTALKUSER"/QUICK_START.md +-ln -sf "$LOGTALKHOME"/README.md "$LOGTALKUSER"/README.md +-ln -sf "$LOGTALKHOME"/RELEASE_NOTES.md "$LOGTALKUSER"/RELEASE_NOTES.md +-ln -sf "$LOGTALKHOME"/UPGRADING.md "$LOGTALKUSER"/UPGRADING.md + ln -sf "$LOGTALKHOME"/adapters "$LOGTALKUSER"/adapters + ln -sf "$LOGTALKHOME"/coding "$LOGTALKUSER"/coding + ln -sf "$LOGTALKHOME"/integration "$LOGTALKUSER"/integration |