Juliapro编写程序时如何添加GitHub上的代码

我在修改一个Julia的packages的其中一个.jl代码文件,这个文件调用了GitHub上的其他代码,我想调试修改后的代码,请问要怎么做?我用的是Juliapro1.2.0-2

描述更具体一点?

我正在修改一个从GitHub上下载的packages:neuralverification(以下简称NV),它的代码里用using调用了其他的packages如JuMp,Lazy sets等,我想调试修改后的NV的代码。我现在已经将其中所需的JuMP等pkg安装到了Julia中,请问接下来在juliapro中的REPL输入“include NV.jl"就可以了吗?

注意下依赖的版本是不是兼容的,应该没啥大问题

1赞
1赞

批注 2020-02-11 141547
请问这个问题如何解决?

包里没这个函数吧。看了下 readme 一共就提供了 5 个函数,没有 gen 函数。

你想用的是 using PkgTemplates 吧。

与无关的新提问最好单独发帖,这样便于搜索。

1赞

京ICP备17009874号-2