码迷,mamicode.com
首页 > 其他好文 > 详细

安装infer整个过程

时间:2015-08-30 14:10:29      阅读:219      评论:0      收藏:0      [点我收藏+]

标签:

日期:2015-06-26

 

孟起  15:43:25

大神。。

 

 

孟起  15:43:38

我是不是照着这个安装

HelloWorld  15:45:05

直接找二进制文件安卓就行

孟起  15:46:37

 

孟起  15:46:56

这个命令行,我什么都不用该直接复制进去就行吗?

孟起  15:47:01

在终端中

HelloWorld  15:47:06

大哥,你不会试试啊

HelloWorld  15:47:18

我还要手把手叫你么

HelloWorld  15:47:30

叫你看博客就行了,你不信

孟起  15:48:40

我肯定两种都试过了,后来都不行,我猜可能某个地方出错了,上边那个绿色的要改成我自己电脑的路径吗?

HelloWorld  15:49:37

mac么

孟起  15:49:44

en  

HelloWorld  15:49:48

去环境变量文件看看

孟起  15:50:14

看什么啊?

HelloWorld  15:50:35

.bash_profile

HelloWorld  15:51:01

在终端下输入open ~/.bash_profile

HelloWorld  15:51:06

会打开该文件

孟起  15:51:37

export PATH="$PATH:/Users/machao/Downloads/infer-osx-v0.1.0/infer/infer/bin">

 

# OPAM configuration

. /Users/machao/ocamlbrew/ocaml-4.02.1/.opam/opam-init/init.sh > /dev/null 2> /dev/null || true

HelloWorld  15:51:53

那没问题

HelloWorld  15:51:59

你现在问题出在哪里

孟起  15:52:55

比方说我先测个java文件 现在应该能测吧 

HelloWorld  15:53:15

有的能测,有的不能测

孟起  15:54:11

 

孟起  15:54:27

单个文件是用这个吧

HelloWorld  15:54:37

这个是执行C的

孟起  15:54:53

我是ios 平时用oc

HelloWorld  15:55:03

那没问题

HelloWorld  15:55:13

你执行后,把命令给我看看

孟起  15:55:32

我在终端中要进入到哪个目录下嘛?

孟起  15:55:45

 

HelloWorld  15:55:47

你文件所在的根目录

孟起  15:55:54

一打开是这样的 

HelloWorld  15:56:19

你的变量配置还是有问题的

HelloWorld  15:56:35

 

HelloWorld  15:56:41

我的是这样的

孟起  15:56:42

对啊 ,不知道怎么清空啊

HelloWorld  15:57:08

不知道怎么清空是啥意思

孟起  15:57:26

肯定是我之前胡乱搞的,

孟起  15:57:35

就是我重新弄一次啊

HelloWorld  15:57:50

打开这个文件,删掉就行了

HelloWorld  15:57:56

你玩mac多久

孟起  15:58:18

我平时就用软件开发,我不怎么玩系统啊 

孟起  15:58:31

这个平时也用不上啊

HelloWorld  15:59:38

你先删掉

孟起  15:59:41

那个文件怎么删

HelloWorld  15:59:58

不是删文件,是删上面这两行配置

HelloWorld  16:00:05

直接删就行啊

孟起  16:00:13

ok

孟起  16:00:16

删了

HelloWorld  16:00:24

把文件截图我看看

 

 

日期:2015-06-26

 

孟起  16:00:42

 

孟起  16:00:47

什么都没有了 

HelloWorld  16:01:15

你这样不怕影响其他功能么

孟起  16:02:02

我运行了xcode 

孟起  16:02:07

能用这个就行 

孟起  16:02:11

别的基本用不上 

HelloWorld  16:02:19

ok,我不管你这个了。

孟起  16:02:23

 

HelloWorld  16:02:25

你重新执行一下

孟起  16:02:27

你看看这个

HelloWorld  16:02:31

设置的命令

孟起  16:02:36

open ~/.bashrc

HelloWorld  16:03:45

全部删掉

孟起  16:04:49

 

孟起  16:05:00

运行了啊 

HelloWorld  16:07:28

. /Users/wuxian/.opam/opam-init/init.sh > /dev/null 2> /dev/null || true

export PATH="$PATH:/Users/wuxian/Downloads/infer-osx-v0.1.1/infer/infer/bin"

HelloWorld  16:07:37

有这两行么

孟起  16:08:01

export PATH=/usr/local/bin:/usr/bin:/bin:/usr/sbin:/sbin:/Users/machao/Downloads/infer-osx/infer/infer/bin

孟起  16:08:16

只有一行啊

HelloWorld  16:08:24

# OPAM configuration

. /Users/machao/ocamlbrew/ocaml-4.02.1/.opam/opam-init/init.sh > /dev/null 2> /dev/null || true

HelloWorld  16:08:31

把这一行加进去

HelloWorld  16:08:34

手动加

孟起  16:08:47

放上边?

HelloWorld  16:08:53

en

孟起  16:09:06

ok

孟起  16:09:24

 

孟起  16:09:33

是 .bashrc

HelloWorld  16:10:53

在命令行下输入infer -version

HelloWorld  16:10:58

看输出

孟起  16:11:16

-bash: infer: command not found

HelloWorld  16:12:24

 source ~/.bashrc

HelloWorld  16:12:34

执行一下上面的命令

HelloWorld  16:12:41

然后再执行infer -version

孟起  16:13:40

 source ~/.bashrc

孟起  16:13:52

我是先cd Downloads吗

HelloWorld  16:13:55

不用

HelloWorld  16:14:00

直接敲就行

孟起  16:15:00

 

孟起  16:15:02

....

HelloWorld  16:15:09

。。

孟起  16:15:19

敲错了吗

HelloWorld  16:15:20

source 和 -version中间有个空行

孟起  16:16:21

 

孟起  16:16:31

这个应该没弄错吧 

HelloWorld  16:17:12

所以你在.bashrc下是不行的

HelloWorld  16:17:21

.bash_profile才可以

孟起  16:17:44

en  ,wo 我吧那两行考进去行吗

HelloWorld  16:18:01

你先拷进去

HelloWorld  16:18:08

我们看结果怎么样

孟起  16:19:36

日期:2015-06-26

 

孟起  16:19:57

ni 你当时弄得时候没这么费劲吧

HelloWorld  16:20:17

自然是没怎么费劲的

HelloWorld  16:21:02

你把.bash_profile文件里的内容我看看

孟起  16:21:26

 

HelloWorld  16:22:33

有错

孟起  16:22:52

下边的那个?

HelloWorld  16:22:53

你看你的Downloads下infer-osx文件夹么

HelloWorld  16:23:16

明显是infer-osx-v.1.0

孟起  16:23:34

 

孟起  16:23:37

是啊

HelloWorld  16:24:06

但是你的bash_profile配置的却是

HelloWorld  16:24:18

明显找不到这个文件夹啊

孟起  16:24:24

我手动加上?

HelloWorld  16:24:25

HelloWorld  16:24:28

加吧

HelloWorld  16:24:35

别加错了,求你了

孟起  16:24:53

 

HelloWorld  16:25:08

然后执行source ~/.bash_profile

HelloWorld  16:25:18

执行完了么

孟起  16:25:33

en 

HelloWorld  16:25:41

再执行infer -version

孟起  16:25:42

 

孟起  16:25:57

 

孟起  16:26:00

hahah 

HelloWorld  16:26:11

这说明什么

HelloWorld  16:26:22

infer的配置正确了

孟起  16:26:26

cheng成功了??

HelloWorld  16:26:39

然后再确认一下opam是否正确

孟起  16:26:49

这个怎么确认

HelloWorld  16:26:59

opam --version

孟起  16:27:26

lia两个 —??

HelloWorld  16:27:30

en 

孟起  16:27:39

machaodeMBP:~ machao$ opam --version

-bash: opam: command not found

machaodeMBP:~ machao$ 

HelloWorld  16:28:02

你的opam配置有问题

孟起  16:28:47

这个怎么破

HelloWorld  16:29:19

你觉得呢

孟起  16:30:00

不知道呀

HelloWorld  16:30:06

先找到你的opam在哪

HelloWorld  16:30:35

去/Users/machao/ocamlbrew下找

孟起  16:31:06

HelloWorld  16:31:22

进入bin目录

孟起  16:31:36

jin进来了 

HelloWorld  16:32:07

将这个目录的路径添加到.bashrc文件中

孟起  16:32:29

是 bashrc??

孟起  16:32:34

还是profile

HelloWorld  16:32:43

bashrc

HelloWorld  16:32:55

不过你也可以试试放在bash_profile

HelloWorld  16:33:04

我们一起填坑也是很愉快的

孟起  16:34:05

# OPAM configuration

. /Users/machao/ocamlbrew/ocaml-4.02.1/.opam/opam-init/init.sh > /dev/null 2> /dev/null || true

孟起  16:34:12

/Users/machao/ocamlbrew/ocaml-4.02.1/bin

 

日期:2015-06-26

 

孟起  16:34:17

怎么融合?

HelloWorld  16:34:44

在这个后面加

HelloWorld  16:34:47

不用融合

HelloWorld  16:34:58

但是要记得加冒号:

孟起  16:35:35

ok

HelloWorld  16:35:39

我看看

孟起  16:36:01

 

HelloWorld  16:36:19

嗯,不负众望

孟起  16:36:29

.

HelloWorld  16:36:32

去执行source ~/.bash_profile

HelloWorld  16:36:37

让设置生效

孟起  16:37:00

再打开?

孟起  16:37:22

 

HelloWorld  16:38:03

少了一个-

孟起  16:38:14

 

HelloWorld  16:38:23

基本证明opam也正确了

孟起  16:38:28

恩,

孟起  16:38:39

基本上ok了?

HelloWorld  16:38:46

完成了啊

HelloWorld  16:39:03

去下载的infer目录下

HelloWorld  16:39:09

找到examples目录

HelloWorld  16:39:15

去实验下

孟起  16:39:35

ok

孟起  16:39:44

那里边有个hello

孟起  16:39:47

我试试

孟起  16:43:02

哈哈,成功了 ,你太牛逼了 。。要是不问你,这么复杂的东西肯定整不出来 

HelloWorld  16:43:15

复杂个蛋

HelloWorld  16:43:20

自己也弄得出来

孟起  16:43:38

昨天弄了半天,就是不行,不太懂原理,

孟起  16:43:48

我得把聊天记录保存下来 

HelloWorld  16:43:50

。。

HelloWorld  16:44:11

你才弄了半天就缴枪了

HelloWorld  16:44:20

我刚开始用的时候,用了2天

孟起  16:44:53

。。。。高,实在是高?你是做什么的?

HelloWorld  16:45:02

敲代码的

孟起  16:45:58

是ios马??

HelloWorld  16:46:11

不做

HelloWorld  16:46:20

没有专一

HelloWorld  16:46:22

都涉及

孟起  16:47:13

在北京??天津???

HelloWorld  16:47:19

北京

安装infer整个过程

标签:

原文地址:http://www.cnblogs.com/machao/p/4770772.html

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!