diff options
author | Narrat | 2023-06-28 23:55:08 +0200 |
---|---|---|
committer | Narrat | 2023-06-28 23:55:08 +0200 |
commit | bb5f375f4cb69e72103cfe2e2b03290667632ffb (patch) | |
tree | 4df02020844d04e3045bf29eba62ac57058181a1 | |
parent | 551ae7cacd6ae5cb0559e32107774c8cfe763112 (diff) | |
download | aur-smatch.tar.gz |
smatch: update to 1.73
-rw-r--r-- | .SRCINFO | 20 | ||||
-rw-r--r-- | LICENSE | 239 | ||||
-rw-r--r-- | PKGBUILD | 33 |
3 files changed, 20 insertions, 272 deletions
@@ -1,21 +1,17 @@ -# Generated by mksrcinfo v8 -# Tue Nov 7 17:21:08 UTC 2017 pkgbase = smatch - pkgdesc = A static analysis tool for C. - pkgver = 1.60 + pkgdesc = static analysis tool for C + pkgver = 1.73 pkgrel = 1 url = http://smatch.sourceforge.net/ arch = i686 arch = x86_64 - license = custom: OSL + license = GPL2 makedepends = git makedepends = llvm - provides = smatch - conflicts = smatch - source = smatch::git+git://repo.or.cz/smatch.git - source = LICENSE - md5sums = SKIP - md5sums = 6aab00ce8d50d27993f0e2a32bbb0242 + makedepends = sqlite3 + makedepends = gtk3 + makedepends = libxml2 + source = smatch::git+https://repo.or.cz/smatch.git#tag=1.73 + b2sums = SKIP pkgname = smatch - diff --git a/LICENSE b/LICENSE deleted file mode 100644 index 8f1a14899f2f..000000000000 --- a/LICENSE +++ /dev/null @@ -1,239 +0,0 @@ - -Novafora Corporation, successor in interest to Transmeta Corporation, -hereby licenses any portions of the program "sparse", a C semantic -parser, for which the copyright previously was held by Transmeta -Corporation and which were present in checkin -1bcc92138dcdf718dc3e0c694565f56e669d6ee3 with an author timestamp date -of June 24, 2003 of the git repository at -git://git.kernel.org/pub/scm/devel/sparse/sparse.git as retrieved on -March 1, 2009, under the following license: - -Copyright (c) 2003 Transmeta Corporation - -Permission is hereby granted, free of charge, to any person obtaining a -copy of this software and associated documentation files (the -"Software"), to deal in the Software without restriction, including -without limitation the rights to use, copy, modify, merge, publish, -distribute, sublicense, and/or sell copies of the Software, and to -permit persons to whom the Software is furnished to do so, subject to -the following conditions: - -The above copyright notice and this permission notice shall be included -in all copies or substantial portions of the Software. - -THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS -OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF -MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. -IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY -CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, -TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE -SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. - - -Robert Bedichek -Vice President of Engineering -Novafora Corporation -San Jose, CA -April 14, 2009 - - -The original file follows: - - -The 'sparse' C parser front-end library is copyrighted by Transmeta Corp -and other authors and licensed under the "Open Software License v1.1" as -obtained from www.opensource.org (and included here-in for easy -reference) (that license itself is copyrighted by Larry Rosen). - -Note that the "Original Work" that this license covers is only the -front-end library itself, ie the code required to parse the source file -and annotate the resulting parse tree with the semantic meaning (aka -"types") of the sources. Thus just the act of linking this library into -another program (aka "back-end") does NOT in itself make that back-end -be considered a derivative work of this Original Work. - -However, any modifications, callbacks or other functionality that is -added and run either directly or indirectly by the front-end are to be -considered derived works of this library, and as such fall under the -requirements of this license. - - Linus Torvalds - Santa Clara, CA - April 15th, 2003 - - -[ This copy of the license is the flat-text version of original, - available in its full glory at - - http://www.opensource.org/licenses/osl.php - - please refer to there for the authoritative and slightly more - pretty-printed version ] - ------- - - The Open Software License - v. 1.1 - -This Open Software License (the "License") applies to any original work of -authorship (the "Original Work") whose owner (the "Licensor") has placed the -following notice immediately following the copyright notice for the Original -Work: - - Licensed under the Open Software License version 1.1 - - -1) Grant of Copyright License. Licensor hereby grants You a world-wide, -royalty-free, non-exclusive, perpetual, non-sublicenseable license to do the -following: - - a) to reproduce the Original Work in copies; - - b) to prepare derivative works ("Derivative Works") based upon the - Original Work; - - c) to distribute copies of the Original Work and Derivative Works to - the public, with the proviso that copies of Original Work or - Derivative Works that You distribute shall be licensed under the - Open Software License; - - d) to perform the Original Work publicly; and - - e) to display the Original Work publicly. - -2) Grant of Patent License. Licensor hereby grants You a world-wide, -royalty-free, non-exclusive, perpetual, non-sublicenseable license, under -patent claims owned or controlled by the Licensor that are embodied in the -Original Work as furnished by the Licensor ("Licensed Claims") to make, use, -sell and offer for sale the Original Work. Licensor hereby grants You a -world-wide, royalty-free, non-exclusive, perpetual, non-sublicenseable license -under the Licensed Claims to make, use, sell and offer for sale Derivative Works. - -3) Grant of Source Code License. The term "Source Code" means the preferred -form of the Original Work for making modifications to it and all available -documentation describing how to modify the Original Work. Licensor hereby -agrees to provide a machine-readable copy of the Source Code of the Original -Work along with each copy of the Original Work that Licensor distributes. -Licensor reserves the right to satisfy this obligation by placing a -machine-readable copy of the Source Code in an information repository reasonably -calculated to permit inexpensive and convenient access by You for as long as - Licensor continues to distribute the Original Work, and by publishing the -address of that information repository in a notice immediately following the -copyright notice that applies to the Original Work. - - -4) Exclusions From License Grant. Nothing in this License shall be deemed to -grant any rights to trademarks, copyrights, patents, trade secrets or any -other intellectual property of Licensor except as expressly stated herein. No -patent license is granted to make, use, sell or offer to sell embodiments of -any patent claims other than the Licensed Claims defined in Section 2. No -right is granted to the trademarks of Licensor even if such marks are included -in the Original Work. Nothing in this License shall be interpreted to prohibit -Licensor from licensing under different terms from this License any Original -Work that Licensor otherwise would have a right to license. - -5) External Deployment. The term "External Deployment" means the use or -distribution of the Original Work or Derivative Works in any way such that the -Original Work or Derivative Works may be used by anyone other than You, -whether the Original Work or Derivative Works are distributed to those persons -or made available as an application intended for use over a computer network. -As an express condition for the grants of license hereunder, You agree that -any External Deployment by You of a Derivative Work shall be deemed a -distribution and shall be licensed to all under the terms of this License, as -prescribed in section 1(c) herein. - -6) Attribution Rights. You must retain, in the Source Code of any Derivative -Works that You create, all copyright, patent or trademark notices from the -Source Code of the Original Work, as well as any notices of licensing and any -descriptive text identified therein as an "Attribution Notice." You must cause -the Source Code for any Derivative Works that You create to carry a prominent -Attribution Notice reasonably calculated to inform recipients that You have -modified the Original Work. - -7) Warranty and Disclaimer of Warranty. Licensor warrants that the copyright -in and to the Original Work is owned by the Licensor or that the Original Work -is distributed by Licensor under a valid current license from the copyright -owner. Except as expressly stated in the immediately proceeding sentence, the -Original Work is provided under this License on an "AS IS" BASIS and WITHOUT -WARRANTY, either express or implied, including, without limitation, the -warranties of NON-INFRINGEMENT, MERCHANTABILITY or FITNESS FOR A PARTICULAR -PURPOSE. THE ENTIRE RISK AS TO THE QUALITY OF THE ORIGINAL WORK IS WITH YOU. -This DISCLAIMER OF WARRANTY constitutes an essential part of this License. No -license to Original Work is granted hereunder except under this disclaimer. - -8) Limitation of Liability. Under no circumstances and under no legal theory, -whether in tort (including negligence), contract, or otherwise, shall the -Licensor be liable to any person for any direct, indirect, special, incidental, -or consequential damages of any character arising as a result of this License -or the use of the Original Work including, without limitation, damages for -loss of goodwill, work stoppage, computer failure or malfunction, or any and -all other commercial damages or losses. This limitation of liability shall not -apply to liability for death or personal injury resulting from Licensor's -negligence to the extent applicable law prohibits such limitation. Some -jurisdictions do not allow the exclusion or limitation of incidental or -consequential damages, so this exclusion and limitation may not apply to You. - - -9) Acceptance and Termination. If You distribute copies of the Original Work -or a Derivative Work, You must make a reasonable effort under the circumstances -to obtain the express and volitional assent of recipients to the terms of this -License. Nothing else but this License (or another written agreement between -Licensor and You) grants You permission to create Derivative Works based upon -the Original Work or to exercise any of the rights granted in Sections 1 herein, -and any attempt to do so except under the terms of this License (or another -written agreement between Licensor and You) is expressly prohibited by U.S. -copyright law, the equivalent laws of other countries, and by international -treaty. Therefore, by exercising any of the rights granted to You in Sections -1 herein, You indicate Your acceptance of this License and all of its terms and -conditions. This License shall terminate immediately and you may no longer -exercise any of the rights granted to You by this License upon Your failure to -honor the proviso in Section 1(c) herein. - -10) Mutual Termination for Patent Action. This License shall terminate -automatically and You may no longer exercise any of the rights granted to You -by this License if You file a lawsuit in any court alleging that any OSI -Certified open source software that is licensed under any license containing -this "Mutual Termination for Patent Action" clause infringes any patent claims -that are essential to use that software. - -11) Jurisdiction, Venue and Governing Law. Any action or suit relating to this -License may be brought only in the courts of a jurisdiction wherein the Licensor -resides or in which Licensor conducts its primary business, and under the laws -of that jurisdiction excluding its conflict-of-law provisions. The application -of the United Nations Convention on Contracts for the International Sale of -Goods is expressly excluded. Any use of the Original Work outside the scope of -this License or after its termination shall be subject to the requirements and -penalties of the U.S. Copyright Act, 17 U.S.C. å¤ 101 et seq., the equivalent -laws of other countries, and international treaty. This section shall survive -the termination of this License. - -12) Attorneys Fees. In any action to enforce the terms of this License or -seeking damages relating thereto, the prevailing party shall be entitled to -recover its costs and expenses, including, without limitation, reasonable -attorneys' fees and costs incurred in connection with such action, including -any appeal of such action. This section shall survive the termination of this -License. - -13) Miscellaneous. This License represents the complete agreement concerning -the subject matter hereof. If any provision of this License is held to be -unenforceable, such provision shall be reformed only to the extent necessary -to make it enforceable. - -14) Definition of "You" in This License. "You" throughout this License, -whether in upper or lower case, means an individual or a legal entity exercising -rights under, and complying with all of the terms of, this License. For legal -entities, "You" includes any entity that controls, is controlled by, or is under -common control with you. For purposes of this definition, "control" means (i) -the power, direct or indirect, to cause the direction or management of such -entity, whether by contract or otherwise, or (ii) ownership of fifty percent -(50%) or more of the outstanding shares, or (iii) beneficial ownership of such -entity. - -15) Right to Use. You may use the Original Work in all ways not otherwise -restricted or conditioned by this License or by law, and Licensor promises not -to interfere with or be responsible for such uses by You. - -This license is Copyright (C) 2002 Lawrence E. Rosen. All rights reserved. -Permission is hereby granted to copy and distribute this license without -modification. This license may not be modified without the express written -permission of its copyright owner. @@ -1,38 +1,29 @@ -#Maintainer: aksr <aksr at t-com dot me> +# Contributor: aksr <aksr at t-com dot me> + pkgname=smatch -pkgver=1.60 +pkgver=1.73 pkgrel=1 -pkgdesc="A static analysis tool for C." +pkgdesc="static analysis tool for C" arch=('i686' 'x86_64') url="http://smatch.sourceforge.net/" -license=('custom: OSL') -groups=() -depends=() -makedepends=('git' 'llvm') -provides=('smatch') -conflicts=('smatch') -# replaces=() -# backup=() -# options=() -# install= -source=("$pkgname::git+git://repo.or.cz/smatch.git" LICENSE) -# noextract=() -md5sums=('SKIP' - '6aab00ce8d50d27993f0e2a32bbb0242') +license=(GPL2) +makedepends=('git' 'llvm' 'sqlite3' 'gtk3' 'libxml2') +source=("$pkgname::git+https://repo.or.cz/smatch.git#tag=$pkgver") +b2sums=('SKIP') + build() { - cd "$srcdir/$pkgname" - git reset --hard $pkgver + cd "$pkgname" make PREFIX="/usr" } check() { - cd "$srcdir/$pkgname" + cd "$pkgname" make -k check PREFIX="/usr" } package() { - cd "$srcdir/$pkgname" + cd "$pkgname" make PREFIX="$pkgdir/usr" install install -Dm644 LICENSE $pkgdir/usr/share/licenses/$pkgname/LICENSE } |