Bug 127766 - [PATCH] science/cdcl: fix typo in the port
Summary: [PATCH] science/cdcl: fix typo in the port
Status: Closed FIXED
Alias: None
Product: Ports & Packages
Classification: Unclassified
Component: Individual Port(s) (show other bugs)
Version: Latest
Hardware: Any Any
: Normal Affects Only Me
Assignee: Dmitry Marakasov
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2008-10-01 12:40 UTC by Dmitry Marakasov
Modified: 2008-10-02 20:51 UTC (History)
1 user (show)

See Also:

Attachments
cdcl-5.3.3_3.patch (783 bytes, patch)
2008-10-01 12:40 UTC, Dmitry Marakasov 		no flags Details | Diff
View All Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Dmitry Marakasov 2008-10-01 12:40:01 UTC 
There's typo in the Makefile, so CONFIGURE_ARGS may be incorrect which may lead to hidden depends (if the configure picks up installed gtk).

Port maintainer (murashin@gfd-dennou.org) is cc'd.

Generated with FreeBSD Port Tools 0.77
Comment 1 Edwin Groothuis freebsd_committer freebsd_triage 2008-10-01 12:40:10 UTC 
Maintainer of science/cdcl,

Please note that PR ports/127766 has just been submitted.

If it contains a patch for an upgrade, an enhancement or a bug fix
you agree on, reply to this email stating that you approve the patch
and a committer will take care of it.

The full text of the PR can be found at:
    http://www.freebsd.org/cgi/query-pr.cgi?pr=ports/127766

-- 
Edwin Groothuis via the GNATS Auto Assign Tool
edwin@FreeBSD.org
Comment 2 Edwin Groothuis freebsd_committer freebsd_triage 2008-10-01 12:40:17 UTC 
State Changed
From-To: open->feedback

Awaiting maintainers feedback (via the GNATS Auto Assign Tool)
Comment 3 Dmitry Marakasov freebsd_committer freebsd_triage 2008-10-01 13:03:15 UTC 
Responsible Changed
From-To: freebsd-ports-bugs->amdmi3

My PR
Comment 4 murashin 2008-10-02 12:33:50 UTC 
From: Edwin Groothuis <edwin@FreeBSD.org>
Date: Wed, 1 Oct 2008 11:40:10 UT

> Maintainer of science/cdcl,
> 
> Please note that PR ports/127766 has just been submitted.
> 
> If it contains a patch for an upgrade, an enhancement or a bug fix
> you agree on, reply to this email stating that you approve the patch
> and a committer will take care of it.
> 
> The full text of the PR can be found at:
>     http://www.freebsd.org/cgi/query-pr.cgi?pr=ports/127766

I approve it.

Thank you,
----
Shin'ya Murakami [murashin@gfd-dennou.org]
Comment 5 Dmitry Marakasov freebsd_committer freebsd_triage 2008-10-02 20:51:46 UTC 
State Changed
From-To: feedback->closed

Committed. Thanks!