aboutsummaryrefslogtreecommitdiff
path: root/devel/creduce
Commit message (Collapse)AuthorAgeFilesLines
* Fix wrong PKGNAME dependency.Bryan Drewery2017-06-171-1/+2
| | | | | | | | Spotted by: Poudriere With hat: portmgr Notes: svn path=/head/; revision=443722
* devel/creduce: Update to 2.7.0Steve Wills2017-05-312-10/+10
| | | | | | | | PR: 219415 Submitted by: dim Notes: svn path=/head/; revision=442256
* Mark some ports failing on power64. In cases where the error messageMark Linimon2017-05-211-0/+2
| | | | | | | | | | | | was a stub, provide a real one. While here, pet portlint. Approved by: portmgr (tier-2 blanket) Reported by: swills Notes: svn path=/head/; revision=441429
* devel/creduce: Update to 2.6.0Steve Wills2017-05-052-10/+10
| | | | | | | | | | While here, update to use llvm39. PR: 219073 Submitted by: dim Notes: svn path=/head/; revision=440200
* Remove always-true/false conditions after 9.x, 10.[12] EOLDmitry Marakasov2017-01-051-8/+1
| | | | | | | | | While here, couple minor fixes portmgr blanket Notes: svn path=/head/; revision=430631
* Remove BROKEN_FreeBSD_9Sunpoet Po-Chuan Hsieh2017-01-011-2/+0
| | | | | | | Approved by: portmgr (blanket) Notes: svn path=/head/; revision=430235
* - Mark broken on 9.xDmitry Marakasov2016-12-191-2/+4
| | | | | | | | | - Always check OPSYS along with OSVERSION Approved by: portmgr blanket Notes: svn path=/head/; revision=428914
* devel/creduce: update to 2.5.0Steve Wills2016-05-233-10/+17
| | | | Notes: svn path=/head/; revision=415719
* devel/creduce: fix build on 9.3Steve Wills2016-04-221-4/+12
| | | | Notes: svn path=/head/; revision=413759
* devel/creduce: add WWW to pkg-descrSteve Wills2016-04-101-0/+2
| | | | Notes: svn path=/head/; revision=412887
* Remove ${PORTSDIR}/ from dependencies, categories d, e, f, and g.Mathieu Arnold2016-04-011-10/+10
| | | | | | | | With hat: portmgr Sponsored by: Absolight Notes: svn path=/head/; revision=412346
* devel/creduce: revive portSteve Wills2016-01-044-0/+55
| | | | | | | | Since creduce seems to be maintained after all and has recently had a release which now works with newer llvm, revive the port. Notes: svn path=/head/; revision=405245
* Remove expired ports:Rene Ladan2014-12-014-63/+0
| | | | | | | | | | | | | 2014-11-30 ports-mgmt/pkg-plist: Generate incorrect plists 2014-11-30 sysutils/rubygem-hiera-puppet: Has been incorporated into hiera 2014-11-30 sysutils/rubygem-hiera-json: Has been incorporated into hiera 2014-11-30 databases/memcachedb: Depends on deprecated Berkeley DB version, needs porting to DB_SITE 2014-12-01 games/djgame2: Online servers gone, game is not playable 2014-12-01 devel/creduce: Unmaintained and depends on ancient LLVM 3.2 2014-12-01 lang/clay: No development since July 2013, depends on obsolete clang-3.2 Notes: svn path=/head/; revision=373718
* Cleanup plistBaptiste Daroussin2014-10-271-2/+0
| | | | Notes: svn path=/head/; revision=371544
* Assume a lack of updates means a lack of interest and deprecate theBrooks Davis2014-09-271-0/+2
| | | | | | | | | | | creduce port as it is the last undeprecated dependency on clang32. If someone wants to update this there is a patch that builds, but does not install at: https://people.freebsd.org/~brooks/patches/creduce-2.2.0-partial.diff Notes: svn path=/head/; revision=369354
* Hand back my ports to the pool.Eitan Adler2014-09-241-1/+1
| | | | | | | Ports require time and TLC which I no longer have. Notes: svn path=/head/; revision=369161
* devel/creduceEitan Adler2013-12-131-1/+3
| | | | | | | creduce is not actually BSD licensed. Notes: svn path=/head/; revision=336364
* devel/creduce: fix dependenciesEitan Adler2013-12-121-4/+5
| | | | | | | | | | I had forgotten a += so the run depends were wrong. Further, the dep on clang won't work correctly since a version bump on clang Reported by: brooks (mostly) Notes: svn path=/head/; revision=336291
* creduce/Makefile csmith/Makefile symports/Makefile: use BSD*CLAUSEEitan Adler2013-12-111-1/+1
| | | | | | | The LICENSE 'BSD' was not specific enough. Now, use the new versioned licenses. Notes: svn path=/head/; revision=336237
* Update to libmpc version 1.0.1 which brings the following fixes:Gerald Pfeifer2013-10-261-0/+1
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | - Switched to automake 1.11.6, see CVE-2012-3386. - #14669: Fixed extraction of CC from gmp.h. - Fixed case of intermediate zero real or imaginary part in mpc_fma, found by hydra with GMP_CHECK_RANDOMIZE=1346362345. This is on top of the following changes from version 1.0 - Licence change towards LGPLv3+ for the code and GFDLv1.3+ (with no invariant sections) for the documentation. - 100% of all lines are covered by tests - Renamed functions . mpc_mul_2exp to mpc_mul_2ui . mpc_div_2exp to mpc_div_2ui - 0^0, which returned (NaN,NaN) previously, now returns (1,+0). - Removed compatibility with K&R compilers, which was untestable due to lack of such compilers. - New functions . mpc_log10 . mpc_mul_2si, mpc_div_2si - Speed-ups . mpc_fma - Bug fixes . mpc_div and mpc_norm now return a value indicating the effective rounding direction, as the other functions. . mpc_mul, mpc_sqr and mpc_norm now return correct results even if there are over- or underflows during the computation. . mpc_asin, mpc_proj, mpc_sqr: Wrong result when input variable has infinite part and equals output variable is corrected. . mpc_fr_sub: Wrong return value for imaginary part is corrected. Convert to the new LIB_DEPENDS standard and remove hard-coded .so versions from a couple of dependent ports. Bump PORTREVISIONS of all dependent ports. PR: 183141 Approved by: portmgr (bdrewery) Notes: svn path=/head/; revision=331644
* - Convert to staging supportEitan Adler2013-10-201-4/+7
| | | | | | | | | - Depend on lang/clang32 instead of lang/clang due to upcoming changes [1] Requested by: brooks [1] Notes: svn path=/head/; revision=330962
* Add NO_STAGE all over the place in preparation for the staging support (cat: ↵Baptiste Daroussin2013-09-201-0/+1
| | | | | | | devel part 1) Notes: svn path=/head/; revision=327722
* - convert to the new perl5 frameworkAndrej Zverev2013-09-121-2/+1
| | | | | | | | | - convert USE_GMAKE to Uses Approved by: portmgr (bapt@, blanket) Notes: svn path=/head/; revision=327086
* Remove now excess verbiage.Eitan Adler2013-07-161-2/+0
| | | | | | | Reviewed by: bapt Notes: svn path=/head/; revision=323129
* Convert some of my ports from USE_GMAKE to USES=gmake.Eitan Adler2013-07-061-1/+2
| | | | | | | The remainder have other pending patches which I must finish before conversion. Notes: svn path=/head/; revision=322403
* Fix pkg-plist. @dirrm was run before PORTDATA was added. This was not ↵Eitan Adler2013-05-122-2/+12
| | | | | | | | | | caught by pkgng but is caught by pkg_ tools. Reported by: itetcu Reviewed by: bapt Notes: svn path=/head/; revision=317980
* Add creduce:Eitan Adler2013-04-254-0/+47
C-Reduce is a tool which takes a large C or C++ program that has a property of interest (such as triggering a compiler bug) and automatically produces a much smaller C/C++ program that has the same property. It is intended for use by people who discover and report bugs in compilers and other tools that process C/C++ code. Reviewed by: mva, swills Tested by: swills Notes: svn path=/head/; revision=316494
generated by cgit v1.2.3 (git 2.25.1) at 2025-03-02 21:32:27 +0000