我的某个端口有问题。它编译安装好(port install webkit-gtk),实际问题出现在后面(某个符号没有编译到库中,但这里的细节无关紧要)。
为了调试和修复这个问题,我想在安装之前对 webkit-gtk 源进行一些更改。使用 apt-get,我可以做类似apt-get source packagename.
我发现我可以打电话
sudo port fetch webkit-gtk
sudo port extract webkit-gtk
sudo port patch webkit-gtk
sudo port configure webkit-gtk
Run Code Online (Sandbox Code Playgroud)
执行安装的各个步骤。但是,在对源进行更改后,我无法继续,因为我收到错误消息。我认为权限有问题,因为我只能以 root 身份编辑文件(自言自语会破坏构建过程,我不能su macports出于某种原因)。
我想做的是在配置步骤之前进行一些更改,然后像往常一样安装带有更改的端口。我怎样才能做到这一点?
你快到了...
sudo port uninstall webkit-gtk
sudo port clean webkit-gtk
sudo port fetch webkit-gtk
sudo port extract webkit-gtk
sudo port patch webkit-gtk
在配置步骤之前,进行更改:
sudo su -
cd $(port work webkit-gtk)
cd $(ls -1) #usually a work directory in here
...change stuff...
exit
sudo port configure webkit-gtk
sudo port build webkit-gtk
sudo port destroot webkit-gtk
sudo port activate webkit-gtk
IDK 您在此过程中遇到了哪些错误,但它们可能与您所做的更改有关,而不是与过程有关。你总体上走在正确的轨道上。
| 归档时间: |
|
| 查看次数: |
479 次 |
| 最近记录: |