Results (1 - 10 of 179)
- #50525: defect: [Port Abandoned] Ports maintained by loria.fr:reilles (closed: fixed)
- reilles has not been seen [search:reilles@loria.fr since 2008] and has [query:status=!closed&owner=reilles@loria.fr many open tickets].
- By mf2k (Frank Schima) — Feb 3, 2016, 3:21:52 PM
- #48884: defect: hevea: binaries installed in /usr/local/bin instead of /opt/local/bin (closed: fixed)
- Binaries ares installed in /usr/local/bin instead of /opt/local/bin. As a side-effect, it appears to prevent the package coq to detect that hevea is installed.
- By hippallium-macports@… — Sep 16, 2015, 10:21:04 AM
- #43189: defect: No latex-previews when using pgf 3.0.0 in emacs-app (assigned)
- when using auctex/latex-preview, previewing is broken when used with the pgf/tikz library. When previewing a document "stop-signs" appear for every environment which normally would be candidate for preview. Steps to reproduce 1. Take ...
- By hansbogert@… — Apr 3, 2014, 8:43:40 AM
- #39828: defect: bibtex2html @ 1.97_1: patch was rejected while installing (closed: fixed)
- Applying patch to bibtex2html 1.97 failed when upgrading bibtex2html. The patch is "patch-Makefile.in.diff".
- By stanimura — Jul 22, 2013, 8:44:02 AM
- #38042: enhancement: [Port Abandoned] coq (closed: fixed)
- It would appear that the Coq port has been abandoned. See, for example: * ticket:32074 * ticket:36005 * ticket:37425 There has been no sign of the maintainer replying to any ticket for the port in quite some time.
- By pmetzger (Perry E. Metzger) — Feb 12, 2013, 4:11:57 PM
- #36819: defect: lbdb 0.36-2 doesn't build on Mountain Lion (closed: invalid)
- Just upgraded to 10.8.2 (with XCode 4.5.1), and I'm not able to build lbdb @0.36_2; I've attached the build log. This appears to be the same failure mode as reported in #4839, believe it or not, but it seems that Makefile.in already inc ...
- By rcobbe — Oct 30, 2012, 5:27:51 PM
- #34846: enhancement: auctex: add biber variant (assigned)
- This is a major update to the auctex port. I've been keeping track and getting incremental updates from their cvs repo into mercurial here: https://bitbucket.org/seanfarley/auctex This update also includes a new variant based on bibe ...
- By seanfarley (Sean Farley) — Jun 12, 2012, 9:51:20 PM
- #31165: defect: lbdb isn't compiling (closed: duplicate)
- See attached log. $ uname -a Darwin orodreth.local 10.8.0 Darwin Kernel Version 10.8.0: Tue Jun 7 16:33:36 PDT 2011; root:xnu-1504.15.3~1/RELEASE_I386 i386 $ xcodebuild -version Xcode 4.0.2 Build version 4A2002a
- By carp@… — Sep 8, 2011, 8:53:54 AM
- #22254: defect: coq_makefile generates Makefile with ''install -D'' lines (closed: fixed)
- The Makefile generated by coq_makefile has lines like follows: {{{ install: mkdir -p $(COQLIB)/user-contrib (for i in $(VOFILES0); do \ install -D $$i $(COQLIB)/user-contrib/$(INSTALLDEFAULTROOT)/$$i; \ ...
- By kiyoshi.coquser@… — Oct 27, 2009, 7:24:29 AM
- #21296: defect: ocaml related ports cannot be built in parallel (closed: fixed)
- Most ocaml related ports cannot be built in parallel, as they implicitly expect make to call dependencies sequentially. I had to add the option "use_parallel_build no" manually to camlp5 and coq, but this would probably a good idea to a ...
- By garrigue@… — Sep 11, 2009, 12:02:47 AM
Note: See TracSearch
for help on searching.