| Commit message (Collapse) | Author | Age | Files | Lines |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
An efficient open-source automatic theorem prover for satisfiability modulo
theories (SMT) problems. It can be used to prove the validity (or, dually, the
satisfiability) of first-order formulas in a large number of built-in logical
theories and their combination.
WWW: https://cvc4.cs.stanford.edu/web/
PR: 227702
Submitted by: Greg V <greg@unrelenting.technology>
Notes:
svn path=/head/; revision=472970
|
|
|
|
|
|
|
| |
hyperspectral image processing
Notes:
svn path=/head/; revision=472948
|
|
|
|
|
|
|
|
|
|
| |
FLAVOR is the current port's flavor, it should not be used outside of
this scope.
Sponsored by: Absolight
Notes:
svn path=/head/; revision=472884
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
The definition of NULL has changed in C++, and conversions have
gotten stricter, so using NULL where you mean 0 (or false) is
no longer an option. Detected by fallout from updating CMake 3.12.
No PORTREVISION bump because everywhere where it compiled previously
sees no change, and where it didn't compile before it does now
with the same result.
Reported by: tcberner
Notes:
svn path=/head/; revision=472860
|
|
|
|
| |
Notes:
svn path=/head/; revision=472839
|
|
|
|
| |
Notes:
svn path=/head/; revision=472838
|
|
|
|
|
|
|
|
| |
PR: 229134
Submitted by: Iblis Lin <iblis@hs.ntnu.edu.tw> (maintainer)
Notes:
svn path=/head/; revision=472808
|
|
|
|
| |
Notes:
svn path=/head/; revision=472773
|
|
|
|
| |
Notes:
svn path=/head/; revision=472771
|
|
|
|
|
|
|
|
|
|
|
| |
Multivariate regression methods Partial Least Squares Regression
(PLSR), Principal Component Regression (PCR) and Canonical Powered
Partial Least Squares (CPPLS).
WWW: https://cran.r-project.org/web/packages/pls/
Notes:
svn path=/head/; revision=472769
|
|
|
|
|
|
|
| |
- Fix LICENSE section
Notes:
svn path=/head/; revision=472761
|
|
|
|
|
|
|
|
| |
Approved by: tcberner (mentor)
Differential Revision: https://reviews.freebsd.org/D15738
Notes:
svn path=/head/; revision=472703
|
|
|
|
|
|
|
|
|
| |
While here, pet portlint and do some other cleanup.
Approved by: portmgr (tier-2 blanket)
Notes:
svn path=/head/; revision=472693
|
|
|
|
|
|
|
| |
Approved by: portmgr blanket
Notes:
svn path=/head/; revision=472677
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
Port changes:
* Change to DISTVERSION
* Fix LICENSE, it's actually GPLv3
* Add LICENSE_FILE
* Add USES=makeinfo
* Order USExx section
* Remove patches - not needed any more
* Change WWW to https
Reported by: portscout
Notes:
svn path=/head/; revision=472673
|
|
|
|
| |
Notes:
svn path=/head/; revision=472668
|
|
|
|
|
|
|
|
|
|
|
|
| |
- Use devel/liblas12 with changed naming scheme
- If using openMP, change the compiler from gcc to clang
- Recreate some patches with makepatch
PR: 227901
Submitted by: rhurlin@gwdg.de(maintainer)
Notes:
svn path=/head/; revision=472649
|
|
|
|
|
|
|
|
|
| |
Reviewed by: mat
Approved by: tcberner (mentor)
Differential Revision: https://reviews.freebsd.org/D15735
Notes:
svn path=/head/; revision=472633
|
|
|
|
| |
Notes:
svn path=/head/; revision=472631
|
|
|
|
|
|
|
| |
Reported by: portscout
Notes:
svn path=/head/; revision=472615
|
|
|
|
|
|
|
|
| |
Approved by: tcberner (mentor)
Differential Revision: https://reviews.freebsd.org/D15864
Notes:
svn path=/head/; revision=472613
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
The full message is:
/usr/bin/ld:
Graphics/CMakeFiles/vtkGraphics.dir/vtkProbeFilter.cxx.o(.text+0x182c):
sibling call optimization to '_ZN14vtkProbeFilter26SetValidPointMaskArrayNameEPKc'
does not allow automatic multiple TOCs; recompile with -mminimal-toc or
-fno-optimize-sibling-calls, or make
'_ZN14vtkProbeFilter26SetValidPointMaskArrayNameEPKc' extern
This is beyond the scope of what I understand how to fix.
Notes:
svn path=/head/; revision=472589
|
|
|
|
|
|
|
|
| |
PR: 229070
Submitted by: maintainer
Notes:
svn path=/head/; revision=472564
|
|
|
|
| |
Notes:
svn path=/head/; revision=472559
|
|
|
|
| |
Notes:
svn path=/head/; revision=472558
|
|
|
|
|
|
|
|
|
| |
- Switch to new test framework
Approved by: portmgr blanket
Notes:
svn path=/head/; revision=472527
|
|
|
|
| |
Notes:
svn path=/head/; revision=472522
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
- Register the missing dependencies for USE_GL
- Add BDWGC (enable Boehm-Demers-Weiser garbage collector) option. At the moment, it is disabled by default to fix build on CURRENT and avoid breaking the interactive mode on 10.4
- Add USES=compiler:c++14-lang to fix segfault with 3D examples
- Use readline from ports
- Sort Makefile and cosmetic fixes
- Silence a explictly called command
Changelog: http://asymptote.sourceforge.net/ChangeLog
PR: 228667
Submitted by: cpm
Approved by: nivit (maintainer timeout, 2 weeks)
MFH: 2018Q2
Notes:
svn path=/head/; revision=472440
|
|
|
|
|
|
|
|
|
|
| |
- Unsilence installation commands
- Switch to new test framework
Approved by: portmgr blanket
Notes:
svn path=/head/; revision=472432
|
|
|
|
| |
Notes:
svn path=/head/; revision=472424
|
|
|
|
|
|
|
|
|
|
|
| |
important fix
It was failing without this fix: https://github.com/pydata/pandas-datareader/pull/520
Approved by: portmgr (port compliance, infrastructure)
Notes:
svn path=/head/; revision=472419
|
|
|
|
|
|
|
| |
Approved by: portmgr blanket
Notes:
svn path=/head/; revision=472395
|
|
|
|
|
|
|
|
|
|
|
| |
multiple versions of automake in years and probably won't in the future.
PR: 228809
Exp-run by: antoine
Approved by: portmgr (antoine)
Notes:
svn path=/head/; revision=472376
|
|
|
|
|
|
|
| |
- Switch to new test framework
Notes:
svn path=/head/; revision=472369
|
|
|
|
|
|
|
| |
Changes: http://invisible-island.net/add/CHANGES
Notes:
svn path=/head/; revision=472324
|
|
|
|
|
|
|
|
|
| |
- Switch to new test framework
Approved by: portmgr blanket
Notes:
svn path=/head/; revision=472235
|
|
|
|
|
|
|
| |
Multiple consecutive previous maintainer timeouts
Notes:
svn path=/head/; revision=472207
|
|
|
|
| |
Notes:
svn path=/head/; revision=472182
|
|
|
|
|
|
|
| |
Approved by: portmgr blanket
Notes:
svn path=/head/; revision=472176
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
This will primarily help powerpc64.
For archs where clang is the default compiler, these changes will have no
effect, as the base compiler already has these capabilities (primarily, but
not exclusively, c++-11).
Tested for no-harm on amd64.
While here, pet portlint.
Approved by: portmgr (tier-2 blanket)
Notes:
svn path=/head/; revision=472160
|
|
|
|
| |
Notes:
svn path=/head/; revision=472130
|
|
|
|
|
|
|
| |
Other architectures are explicitly not supported.
Notes:
svn path=/head/; revision=472108
|
|
|
|
| |
Notes:
svn path=/head/; revision=472067
|
|
|
|
|
|
|
| |
Reported by: portscout
Notes:
svn path=/head/; revision=472037
|
|
|
|
|
|
|
|
| |
2018-06-07 graphics/libkface: No longer maintained upstream
2018-06-07 math/scilab-toolbox-sivp: Cannot build with newer opencv
Notes:
svn path=/head/; revision=472036
|
|
|
|
| |
Notes:
svn path=/head/; revision=472035
|
|
|
|
|
|
|
| |
Approved by: portmgr (tier-2 blanket)
Notes:
svn path=/head/; revision=472032
|
|
|
|
| |
Notes:
svn path=/head/; revision=472010
|
|
|
|
| |
Notes:
svn path=/head/; revision=471903
|
|
|
|
| |
Notes:
svn path=/head/; revision=471652
|