第一次见软件文档是要自己编译的 。。。
EasyCrypt据说是一个密码学的自动证明工具(因为我文档还没看,所以只能据说了),然后他的文档在这,是latex的,有obsolete/userman
和refman
两个目录需要编译;根据里面的Makefile的描述,编译使用latexmk
:
# e.g. ubuntu 18.04
sudo apt install latexmk
本来以为是make
了以后就好了,没想到,很快啊,啪的一下就报错了,不过还好有报错信息,在refman.log
/userman.log
里,一看,不讲武德,缺包
网上查了一下,latexmk
的包可以直接用包管理工具tlmgr
安装,于是跟着走了一遍:
# actually, useless - -
tlmgr install collection-latex
然后就报错了cannot setup TLPDB
根据这里的说法,需要先进行一些初始化:
tlmgr init-usertree
搞定后再运行,又叫我装一个xzdec
:
sudo apt install xzdec
装完后再运行,版本太高
根据这里的方法,换了个源:
tlmgr option repository ftp://tug.org/historic/systems/texlive/2017/tlnet-final
好不容易终于跑起来了,又报updmap
需要-sys
或者-user
暴力解决:
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
为例)
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/