日期: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
北京