第一次见软件文档是要自己编译的 。。。
EasyCrypt据说是一个密码学的自动证明工具(因为我文档还没看,所以只能据说了),然后他的文档在这,是latex的,有obsolete/userman
和refman
两个目录需要编译;根据里面的Makefile的描述,编译使用latexmk
:
# e.g. ubuntu 18.04
sudo apt install latexmk
本来以为是make
了以后就好了,没想到,很快啊,啪的一下就报错了,不过还好有报错信息,在refman.log
/userman.log
里,一看,不讲武德,缺包
![](https://static-img.0xffff.one/srQTeehNWVH2I6Cet0V2xAR-UZrfAnYKby4tnE7CBvQ/q:90/w:800/rt:fit/aHR0cHM6Ly9zdGF0/aWMuMHhmZmZmLm9u/ZS9hc3NldHMvZmls/ZXMvMjAyMS0xMS0w/Mi8xNjM1ODYwMzE4/LTQwODI5MS0xLnBu/Zw.jpg)
网上查了一下,latexmk
的包可以直接用包管理工具tlmgr
安装,于是跟着走了一遍:
# actually, useless - -
tlmgr install collection-latex
然后就报错了cannot setup TLPDB
![](https://static-img.0xffff.one/QjmhCYDvs4rapCuyuCT05Qo7H9_XPYuCFbJ7ceQM5Ls/q:90/w:800/rt:fit/aHR0cHM6Ly9zdGF0/aWMuMHhmZmZmLm9u/ZS9hc3NldHMvZmls/ZXMvMjAyMS0xMS0w/Mi8xNjM1ODYwMzMx/LTYxOTIzMy0yLnBu/Zw.jpg)
根据这里的说法,需要先进行一些初始化:
tlmgr init-usertree
搞定后再运行,又叫我装一个xzdec
:
![](https://static-img.0xffff.one/npjHgTkzS8GmHwohfbrhkUe6vr2eex6s3vIVX8lipCM/q:90/w:800/rt:fit/aHR0cHM6Ly9zdGF0/aWMuMHhmZmZmLm9u/ZS9hc3NldHMvZmls/ZXMvMjAyMS0xMS0w/Mi8xNjM1ODYwMzk3/LTg3NTQ2MC0zLnBu/Zw.jpg)
sudo apt install xzdec
装完后再运行,版本太高
![](https://static-img.0xffff.one/kRt4DWvzoXJPCAGKytwtPzf10V8829SDO7OQyDSQAFA/q:90/w:800/rt:fit/aHR0cHM6Ly9zdGF0/aWMuMHhmZmZmLm9u/ZS9hc3NldHMvZmls/ZXMvMjAyMS0xMS0w/Mi8xNjM1ODYwNDA3/LTQ5MjI2OC00LnBu/Zw.jpg)
根据这里的方法,换了个源:
tlmgr option repository ftp://tug.org/historic/systems/texlive/2017/tlnet-final
好不容易终于跑起来了,又报updmap
需要-sys
或者-user
![](https://static-img.0xffff.one/8p0nnzujagPMw3U5bxjglbhT5c209KaRMuinIbfnPx8/q:90/w:800/rt:fit/aHR0cHM6Ly9zdGF0/aWMuMHhmZmZmLm9u/ZS9hc3NldHMvZmls/ZXMvMjAyMS0xMS0w/Mi8xNjM1ODYwNDE2/LTQ2NjM4OS01LnBu/Zw.jpg)
暴力解决:
alias updmap="updmap -user"
然后如无意外的话到这需要安装的依赖都搞定了,可以开始装包了。其实后来我才发现上面装的collection-latex
是没啥用的- -:
tlmgr install fixme xkeyval imakeidx microtype bold-extra xcolor stmaryrd # dsfont
其中有个dsfont
好像用tlmgr
是装不上的,解决方法是用apt
安装:
sudo apt-get install texlive-fonts-extra
到这里然后就可以make
出一个pdf了,但还是报了一点错(refman
为例)
![](https://static-img.0xffff.one/adF6chRc17-06D5h_RkQmo4GI2C055Lsu7M5ouVsmc0/q:90/w:800/rt:fit/aHR0cHM6Ly9zdGF0/aWMuMHhmZmZmLm9u/ZS9hc3NldHMvZmls/ZXMvMjAyMS0xMS0w/My8xNjM1OTQ5MDgw/LTYxOTI5Ni02LnBu/Zw.jpg)
find
了一下,这个文件在_build
里,于是:
cp ./_build/tactics.idx ./
cp ./_build/refman.idx ./
再make
的话应该没问题了(对refman
来说).
在编obsolete/userman
的时候还有一个包multind
不能用tlmgr
安装,于是直接网上下了个(在obsolete/userman/
目录下)
wget https://ctan.org/tex-archive/macros/latex209/contrib/misc/multind.sty
附上我编的两个文档:
原文链接:https://tover.xyz/p/easy-crypt-tex/