diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2017-10-09 18:53:29 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2017-10-09 18:53:29 +0100 |
| commit | 4f2d7949f03e1c198bc888f2d05f421d35c57e21 (patch) | |
| tree | ba5f07bf3f9d22d82e54a462313f5d244036c768 /dev-lang/logtalk/files | |
reinit the tree, so we can have metadata
Diffstat (limited to 'dev-lang/logtalk/files')
4 files changed, 120 insertions, 0 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 new file mode 100644 index 000000000000..d25f19347d66 --- /dev/null +++ b/dev-lang/logtalk/files/logtalk-3.00.0-no-user-docs.patch @@ -0,0 +1,34 @@ +--- logtalk-3.00.0.orig/scripts/logtalk_user_setup.sh 2015-01-08 14:04:03.000000000 +0100 ++++ logtalk-3.00.0/scripts/logtalk_user_setup.sh 2015-01-08 14:05:05.000000000 +0100 +@@ -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 new file mode 100644 index 000000000000..b28fd4852b04 --- /dev/null +++ b/dev-lang/logtalk/files/logtalk-3.03.0-no-user-docs.patch @@ -0,0 +1,34 @@ +--- logtalk-3.03.0.orig/scripts/logtalk_user_setup.sh 2016-02-16 22:09:02.000000000 +0100 ++++ logtalk-3.03.0/scripts/logtalk_user_setup.sh 2016-02-20 09:49:34.000000000 +0100 +@@ -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.07.0-no-user-docs.patch b/dev-lang/logtalk/files/logtalk-3.07.0-no-user-docs.patch new file mode 100644 index 000000000000..b28fd4852b04 --- /dev/null +++ b/dev-lang/logtalk/files/logtalk-3.07.0-no-user-docs.patch @@ -0,0 +1,34 @@ +--- logtalk-3.03.0.orig/scripts/logtalk_user_setup.sh 2016-02-16 22:09:02.000000000 +0100 ++++ logtalk-3.03.0/scripts/logtalk_user_setup.sh 2016-02-20 09:49:34.000000000 +0100 +@@ -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.11.2-portage.patch b/dev-lang/logtalk/files/logtalk-3.11.2-portage.patch new file mode 100644 index 000000000000..bbe75385a92e --- /dev/null +++ b/dev-lang/logtalk/files/logtalk-3.11.2-portage.patch @@ -0,0 +1,18 @@ +diff -urN logtalk-3.11.2.orig/scripts/logtalk_user_setup.sh logtalk-3.11.2/scripts/logtalk_user_setup.sh +--- logtalk-3.11.2.orig/scripts/logtalk_user_setup.sh 2017-08-28 10:13:52.000000000 +0200 ++++ logtalk-3.11.2/scripts/logtalk_user_setup.sh 2017-09-24 14:47:36.815968990 +0200 +@@ -130,14 +130,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"/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 |