summaryrefslogtreecommitdiff
path: root/devel
AgeCommit message (Collapse)AuthorFilesLines
2012-01-02Use xulrunner192; does not build with later version.dholland1-2/+2
2012-01-02Update cutter to 1.2.0.obache3-8/+12
== [release-1-2-0] 1.2.0: 2011-12-31 We improved C++ support and test runner interface. === Cutter ==== Improvements * [UI][console] Changed to show messages on failure, error and so on immediately. You need to use (({--show-detail-immediately=no})) command line option to show messages on end of test like earlier versions. * [UI][GTK+] Supported iterated test. * [UI][GTK+] Supported re-run test. * [UI][GTK+] Unified cancel button and re-run button. ==== Changes * Enabled deprecated GLib API. You need to use (({--disable-deprecated-glib-api})) configure option to disable deprecated GLib API. * Supported Fedora 16. * Dropped Fedora 15 support. === CppCutter ==== Improvements * Added more supported types by ((<cppcut_assert_equal()>)). * Added ((<cppcut_assert_not_equal()>)). * Added ((<cppcut_assert_null()>)). * Added ((<cppcut_assert_not_null()>)). * Added ((<cppcut_assert_operator()>)).
2012-01-02- patch out uncompilable unused declaration (not clear how this ever worked)dholland3-2/+23
- not MAKE_JOBS_SAFE
2012-01-02Patch out YY_PROTO, which is no longer provided by recent flex.dholland5-1/+65
2011-12-31Pull fix from upstream for asm error on NetBSD/arm with newer binutils:tsutsui2-1/+19
https://github.com/atgreen/libffi/commit/0e5843995f46900ef212531281e08b224464f413#diff-39 > * src/arm/sysv.S (ffi_closure_SYSV): Add UNWIND to .pad directive.
2011-12-29use AUDIO_GETBUFINFO when available; bump pkg revisionjmcneill3-3/+48
2011-12-27Put back the 3 macro files lost in the previous update that are needed bychristos2-2/+10
AM_ICONV
2011-12-26Fix RCS IDjoerg1-1/+1
2011-12-26Fix typo in ifdef.wiz3-6/+6
Bump PKGREVISION.
2011-12-25Update to Frama-C Nitrogen release 2011-10-01asau7-1480/+808
See full list of changes at http://frama-c.com/Changelog.html#Nitrogen-20111001 Nitrogen Release [20111001] Frama-C General New Features * [Cil] Enumerated constants are kept in the AST. * [Cil] Implement precise dataflow on switch constructs. As side effect, improve precision of value analysis. * [Cil] Fixed #720 (incorrect simplification of switch). * [Cil] Support for &"constant_string" in parser. * [Cil] Normalization of lval: T+1 ==> &T[1] when T is in fact an array (implies *(T+1) ==> T[1]) * [Cil] Pretty-printing lval and term_lval the same way * [Cil] Cache results of offsets computations. * [Cil] Add support for GCC specific cast from field of union to union * [Kernel] Exit status on unknown error is now 125. 127 and 126 are reserved for the shell by POSIX. * [Kernel] Better error message when plug-in crashes on loading (bts #737). * [Kernel] Big integers can now be displayed using hexadecimal notation. * [Kernel] \at(p,Old) is pretty-printed as \old(p). * [Kernel] Some messages may be printed several time for the same line if they refer to different columns. * [Kernel] Better handling of comments with -keep-comments and new API. See Cabshelper.Comments and Globals.get_comments_* * [Kernel] Better pretty printing of lists of any elements * [Kernel] Current pragmas no longer give rise to code annotations (as they do not contain anything that can be proven). * [Kernel] Improve space complexity of function stmt_can_reach. * [Kernel] New kind of command-line parameter, for commands that do heavy output. Used for Value, Pdg and Metrics. * [Logic] Added support for bitwise operators --> and <--> into ACSL formula. Carbon Release [20110201] Frama-C General New Features * [Configure] Frama-C does not require Apron anymore (Why does for Jessie). Thus fix bug #647. * [Kernel] Improve performance on platform with dynami.c loading. Mainly impact value analysis (for developers: improve efficiency of Dynamic.get). * [Kernel] Handle errors better when they occur when exiting Frama-C. Slight semantic changes for exit code: - old code 5 is now 127; - code 5 is now: error raised when exiting Frama-C normally; - code 6: error raised when exiting Frama-C abnormally. * [Logic] Fix priority bug in parser. * [Logic] Mentioning a formal on the left-hand side of an assigns clause is now an error when type-checking logic annotations. * [Makefile] Fixed bug #638. By default, warnings are no more errors when compiling a public Frama-C distribution and plug-ins. SVN versions of Frama-C are still compiled with "-warn-error A". Carbon Release [20101201] Frama-C General New Features * [Cil] Be less agressive during inline function merge. Alpha equivalent function are now kept separate. * [Cil] Clean up local variables handling and pretty-printing modified pBlock method interface (unified pBlock and pInnerBlock) * [Cil] Cil normalization takes care of abrupt clauses * [Configure] Better detection of native dynlink support. * [Kernel] Feature #484 about requires into named behaviors * [Kernel] Fixed bug #548: limit.h now syntactically correct. Architectures other than x86_32 still unsupported. Boron Release [20100401] Frama-C General New Features * [Cil] Extend logic pretty printer to handle all specific clauses * [Configure] Dynamic plug-ins are now statically linked by default whenever native dynlink is not usable (bts #301). * [Configure] Compiling the GUI now requires LablGnomeCanvas. * [Kernel] Add status for all clauses * [Kernel] Clarification of the multiple accesses warning. Becomes "undefined multiple accesses in expression". * [Kernel] Better error messages when a dynamic plug-in cannot be loaded. * [Kernel] Better -*-help. * [Kernel] New option -no-dynlink in order to prevent loading of dynamic plug-ins. * [Kernel] The journal is generated only if the GUI is crashing, or if the option -journal-enable is explicitely set (fixed issue #330). * [Kernel] Backtrace when Frama-C is crashing (only if Frama-C is compiled with caml >= 3.11.0) * [Kernel] New option "-plugin-h" as an alias for option "-plugin-help" * [Kernel] Preliminary standard C library in $FRAMAC_SHARE/libc * [Logic] Better error message when using = in annotations * [Logic] ordering of clauses in contracts * [Logic] If a C typedef integer, real or boolean exists, it takes precedence over corresponding logic type. The logic type remains accessible through its utf-8 denomination. * [Logic] Support for type abbreviation in logic * [Logic] Support for "reads \nothing" * [Logic] Adding "\pi" as built-in symbol Beryllium Release [20090902] Frama-C General New Features * [Configure] Detection of dot if required. * [Journal] Better handling of exceptions. * [Kernel] Slightly less false alarms with -warn-unspecified-order * [Makefile] Why is no longer a compilation dependency. It is required only at runtime for the experimental WP plugin. * [Makefile] Now possible to build custom binaries for plug-ins. Roughly these binaries are frama-c[.byte] + the plug-in statically-linked. The goal is called "static" in the plug-in's makefile.
2011-12-24Revert addition of devel/nspr; problem is now solved properlydholland1-2/+1
2011-12-23This needs libnspr4.asau1-1/+2
(This doesn't fix the build yet makes it fail later.)
2011-12-23Home page and master site moved to http://frama-c.com/asau1-3/+3
2011-12-23Make sure that the directory exists before writing the output from thejoerg2-1/+19
idl-parser. Fixes the race conditions seen recently.
2011-12-23Workaround brain damage from configure (non-)test by not defining macrosjoerg3-1/+33
from Heimdal.
2011-12-22Disable use of tgmath.h on NetBSD, since various functions are missingjoerg1-1/+7
in libm.
2011-12-20Force MKPROFILE=yes to avoid PLIST divergence.dholland1-1/+2
2011-12-19Fix build with perl 5.14.hiramatsu4-2/+77
2011-12-19pkglint fix.wiz1-3/+2
2011-12-19Fix build with gcc-4.5.wiz8-13/+120
2011-12-19Fix openssl breakage so this package can now progress to flex breakage.wiz2-1/+17
2011-12-19pkglint fix.wiz1-2/+2
2011-12-19updated version to 3.6.0 in buildlink3.mk fileschwarz1-3/+3
2011-12-19upgraded to libosip2-3.6.0; added LICENSE informationschwarz2-6/+7
2011-12-19Need to include bsd.prefs.mk before using PKGPATH.obache1-1/+2
2011-12-19Update firefox36 to 3.6.24.obache3-8/+7
Fixed in Firefox 3.6.24 MFSA 2011-49 Memory corruption while profiling using Firebug MFSA 2011-47 Potential XSS against sites using Shift-JIS MFSA 2011-46 loadSubScript unwraps XPCNativeWrapper scope parameter (1.9.2 branch) Fixed in Firefox 3.6.23 MFSA 2011-40 Code installation through holding down Enter MFSA 2011-39 Defense against multiple Location headers due to CRLF Injection MFSA 2011-38 XSS via plugins and shadowed window.location object MFSA 2011-37 Integer underflow when using JavaScript RegExp MFSA 2011-36 Miscellaneous memory safety hazards (rv:7.0 / rv:1.9.2.23)
2011-12-19Force MKPROFILE=yes to avoid PLIST divergence.dholland1-1/+2
2011-12-18"included by ncursesw" means the ncursesw Makefile not just the buildlinksbd1-2/+2
tree.
2011-12-18Add ruby-hike (Hi taca)sbd1-1/+2
2011-12-17Add missing dependency to ruby-multi_json, noted by HIRAMATSU Yoshifumitaca1-1/+4
on tech-pkg-ja@. Bump PKGREVISION.
2011-12-17Add and enable ruby-randexp.taca1-1/+2
2011-12-17Importing devel/ruby-randexp package version 0.1.6.taca4-0/+49
Randexp makes it easy to generate random string from most regular expressions.
2011-12-17Update to 3.290:wiz2-7/+7
Version 3.29 - 2 December 2011 Enhancements - modified Makefile.in to allow configure to override the lib and include destination directories. - added (or restored actually) support for tile compression of 1-byte integer images in imcomp_compress_tile. Support for that data type was overlooked during recent updates to this routine. - modified the fits_get_token command-line parsing routine to perform more rigorous checks to determine if the token can be interpreted as a number or not. - made small modification to fpack.c to not allow the -i2f option (convert image from integer to floating point) with the "-g -q 0" option (do lossless gzip compression). It is more efficient to simply use the -g option alone. - made modifications to fitsio.h and drvrfile.c to support reading and writing large FITS files (> 2.1 GB) when building CFITSIO using Microsoft Visual C++ on Windows platforms. - added new WCS routine (ffgicsa) which returns the WCS keyword values for a particular WCS version ('A' - 'Z'). Bug Fixes - fixed a problem with multi-threaded apps that open/close FITS files simultaneously by putting mutex locks around the call to fits_already_open and in fits_clear_Fptr. - fixed a bug when using the 'regfilter' function to select a subset of the rows in a FITS table that have coordinates that lie within a specified spatial region on the sky. This bug only affects the rarely used panda (and epanda and bpanda) region shapes in which the region is defined by the intersection of an annulus and a pie-shaped wedge. The previous code (starting with version 3.181 of CFITSIO where support for the panda region was first introduced) only worked correctly if the 2 angles that define the wedge have values between -180 and +180. If not, then fewer rows than expected may have been selected from the table. - fixed the extended filename parser so that when creating a histogram by binning 2 table columns, if a keyword or column name is given as the weighting factor, then the output histrogram image will have a floating point datatype, not the default integer datatype as is the case when no weigth is specified (e.g. with a filename like "myfile.fits[bin x,y; weight_column]" - added fix to the code in imcompress.c to work around a problem with dereferencing the value of a pointer, in cases where the address of that pointer has not been defined (e.g., the nulval variable). - modified the byte shuffling algorithm in fits_shuffle_8bytes to work around a strange bug in the proprietary SunStudioExpress C compiler under OpenSolaris. - removed spurious messages on the CFITSIO error stack when opening a FITS file with FTP (in drvrnet.c);
2011-12-17+ npapi-sdkobache1-1/+2
2011-12-17Import npapi-sdk-0.27 as devel/npapi-sdk.obache5-0/+47
Headers for NPAPI (browser plugin API)
2011-12-17Change default PKGNAME scheme for PECL packages.obache1-1/+2
Drop ${PHP_BASE_VARS} from PKGVERSION by default. It used to be required to support multiple php version. But after PHP version based ${PHP_PKG_PREFIX} was introduced, such trick is not required anymore. In addition to this, such version name schme invokes unwanted version bump when base php version is bumped, plus, such version scheme is hard to use for DEPENDS pattern. To avoid downgrading of package using such legacy version scheme, PECL_LEGACY_VERSION_SCHEME is introduced. If it is defined, current version scheme is still used for currently supported PHP version (5 and 53), but instead of ${PHP_BASE_VARS}, current fixed PHP base version in pkgsrc is used to avoid unwanted version bump from update of PHP base package. With newer PHP (54, or so on), new version scheme will be used if it is defined. This trick will not be required and should be removed after php5 and php53 will be gone away from pkgsrc.
2011-12-17Add missing mk/curses buildlink.sbd1-2/+3
Bump PKGREVISION
2011-12-17Add missing mk/termcap buildlink.sbd2-4/+6
Bump PKGREVISION
2011-12-16Add missing devel/zlib buildlink.sbd1-2/+3
Bump PKGREVISION
2011-12-16USE_JAVA and USE_JAVA2 requires mk/java-vm.mk.ryoon1-1/+2
2011-12-16Update ruby-rspec-rails package to 2.7.0.taca3-38/+24
Exact changes are unknown.
2011-12-16Update ruby-rspec package to 2.7.0.taca2-9/+9
Exact changes are unknown.
2011-12-16Update ruby-rspec-mocks package to 2.7.0.taca3-21/+20
Exact changes are unknown.
2011-12-16Update ruby-rspec-expectations package to 2.7.0.taca3-21/+9
Exact changes are unknown.
2011-12-16Update ruby-rspec-core package to 2.7.1.taca3-32/+15
Exact changes are unknown.
2011-12-16Update devel/ruby-test-unit package to 2.4.3.taca4-93/+109
Several improvements and bug fixes.
2011-12-16Add and enable ruby-railties31.taca1-1/+2
2011-12-16Importing devel/ruby-railties31 package version 3.1.3.taca4-0/+606
## Rails 3.1.3 (unreleased) ## * New apps should be generated with a sass-rails dependency of 3.1.5, not 3.1.5.rc.2 ## Rails 3.1.2 (unreleased) ## * Engines: don't blow up if db/seeds.rb is missing. *Jeremy Kemper* * `rails new foo --skip-test-unit` should not add the `:test` task to the rake default task. *GH 2564* *José Valim* ## Rails 3.1.1 (October 7, 2011) ## * Add jquery-rails to Gemfile of plugins, test/dummy app needs it. Closes #3091. *Santiago Pastorino* * Add config.assets.initialize_on_precompile which, when set to false, forces `rake assets:precompile` to load the application but does not initialize it. To the app developer, this means configuration add in config/initializers/* will not be executed. Plugins developers need to special case their initializers that are meant to be run in the assets group by adding :group => :assets. ## Rails 3.1.0 (August 30, 2011) ## * The default database schema file is written as UTF-8. *Aaron Patterson* * Generated apps with --dev or --edge flags depend on git versions of sass-rails and coffee-rails. *Santiago Pastorino* * Rack::Sendfile middleware is used only if x_sendfile_header is present. *Santiago Pastorino* * Add JavaScript Runtime name to the Rails Info properties. *DHH* * Make pp enabled by default in Rails console. *Akira Matsuda* * Add alias `r` for rails runner. *Jordi Romero* * Make sprockets/railtie require explicit and add --skip-sprockets to app generator *José Valim* * Added Rails.groups that automatically handles Rails.env and ENV["RAILS_GROUPS"] *José Valim* * The new rake task assets:clean removes precompiled assets. *fxn* * Application and plugin generation run bundle install unless --skip-gemfile or --skip-bundle. *fxn* * Fixed database tasks for jdbc* adapters #jruby *Rashmi Yadav* * Template generation for jdbcpostgresql #jruby *Vishnu Atrai* * Template generation for jdbcmysql and jdbcsqlite3 #jruby *Arun Agrawal* * The -j option of the application generator accepts an arbitrary string. If passed "foo", the gem "foo-rails" is added to the Gemfile, and the application JavaScript manifest requires "foo" and "foo_ujs". As of this writing "prototype-rails" and "jquery-rails" exist and provide those files via the asset pipeline. Default is "jquery". *fxn* * jQuery is no longer vendored, it is provided from now on by the jquery-rails gem. *fxn* * Prototype and Scriptaculous are no longer vendored, they are provided from now on by the prototype-rails gem. *fxn* * The scaffold controller will now produce SCSS file if Sass is available *Prem Sichanugrist* * The controller and resource generators will now automatically produce asset stubs (this can be turned off with --skip-assets). These stubs will use Coffee and Sass, if those libraries are available. *DHH* * jQuery is the new default JavaScript library. *fxn* * Changed scaffold, application, and mailer generator to create Ruby 1.9 style hash when running on Ruby 1.9 *Prem Sichanugrist* So instead of creating something like: redirect_to users_path, :notice => "User has been created" it will now be like this: redirect_to users_path, notice: "User has been created" You can also passing `--old-style-hash` to make Rails generate old style hash even you're on Ruby 1.9 * Changed scaffold_controller generator to create format block for JSON instead of XML *Prem Sichanugrist* * Add using Turn with natural language test case names for test_help.rb when running with minitest (Ruby 1.9.2+) *DHH* * Direct logging of Active Record to STDOUT so it's shown inline with the results in the console *DHH* * Added `config.force_ssl` configuration which loads Rack::SSL middleware and force all requests to be under HTTPS protocol *DHH, Prem Sichanugrist, and Josh Peek* * Added `rails plugin new` command which generates rails plugin with gemspec, tests and dummy application for testing *Piotr Sarnacki* * Added -j parameter with jquery/prototype as options. Now you can create your apps with jQuery using `rails new myapp -j jquery`. The default is still Prototype. *siong1987* * Added Rack::Etag and Rack::ConditionalGet to the default middleware stack *José Valim* * Added Rack::Cache to the default middleware stack *Yehuda Katz and Carl Lerche* * Engine is now rack application *Piotr Sarnacki* * Added middleware stack to Engine *Piotr Sarnacki* * Engine can now load plugins *Piotr Sarnacki* * Engine can load its own environment file *Piotr Sarnacki* * Added helpers to call engines' route helpers from application and vice versa *Piotr Sarnacki* * Task for copying plugins' and engines' migrations to application's db/migrate directory *Piotr Sarnacki* * Changed ActionDispatch::Static to allow handling multiple directories *Piotr Sarnacki* * Added isolate_namespace() method to Engine, which sets Engine as isolated *Piotr Sarnacki* * Include all helpers from plugins and shared engines in application *Piotr Sarnacki*
2011-12-16Add and enable ruby-activemodel31 and ruby-activesupport31.taca1-1/+3
2011-12-16Importing devel/ruby-activemodel31 package version 3.1.3.taca4-0/+68
## Rails 3.1.1 (October 7, 2011) ## * Remove hard dependency on bcrypt-ruby to avoid make ActiveModel dependent on a binary library. You must add the gem explicitly to your Gemfile if you want use ActiveModel::SecurePassword: gem 'bcrypt-ruby', '~> 3.0.0' See GH #2687. *Guillermo Iguaran* ## Rails 3.1.0 (August 30, 2011) ## * Alternate I18n namespace lookup is no longer supported. Instead of "activerecord.models.admins.post", do "activerecord.models.admins/post" instead *José Valim* * attr_accessible and friends now accepts :as as option to specify a role *Josh Kalderimis* * Add support for proc or lambda as an option for InclusionValidator, ExclusionValidator, and FormatValidator *Prem Sichanugrist* You can now supply Proc, lambda, or anything that respond to #call in those validations, and it will be called with current record as an argument. That given proc or lambda must returns an object which respond to #include? for InclusionValidator and ExclusionValidator, and returns a regular expression object for FormatValidator. * Added ActiveModel::SecurePassword to encapsulate dead-simple password usage with BCrypt encryption and salting *DHH* * ActiveModel::AttributeMethods allows attributes to be defined on demand *Alexander Uvarov* * Add support for selectively enabling/disabling observers *Myron Marston*