kmaed

# Copyright 2017-2018 Kazuki Maeda <kmaeda@kmaeda.net>
# Distributed under the terms of the Simplified BSD License

EAPI=6
inherit multilib

DESCRIPTION="Risa/Asir is an open source general computer algebra system."
HOMEPAGE="http://www.math.kobe-u.ac.jp/Asir/"
MY_P="openxm-head.tar.gz"
SRC_URI="http://air.s.kanazawa-u.ac.jp/ohara/openxm/${MY_P}"

kmaed

# Copyright 2018 Kazuki Maeda <kmaeda@kmaeda.net>
# Distributed under the terms of the GNU General Public License v2

EAPI=7

inherit git-r3

DESCRIPTION="A statically-typed, functional typesetting system"
HOMEPAGE="https://github.com/gfngfn/SATySFi"
LICENSE="LGPL-3"

kmaed

# A modified version of opam-1.3.1-r1.ebuild by Kazuki Maeda <kmaeda@kmaeda.net>
# The original copyright information is shown below.

# Copyright 1999-2017 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2

EAPI=7

inherit git-r3

kmaed

# A modified version of ocaml-4.05.0-r1.ebuild by Kazuki Maeda <kmaeda@kmaeda.net>
# I only bumped the version number and removed a patch.
# The original copyright information is shown below.

# Copyright 1999-2017 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2

EAPI=7

inherit flag-o-matic eutils multilib toolchain-funcs

kmaed

set adjust-open width

map \< goto top
map \> goto bottom
map b navigate previous
map e follow
map f navigate next
map p goto top

map <C-+> zoom in

kmaed

%% 眠れないので書いた．etoolbox.sty を読むと勉強になるなあ（つらい）．

%% まずは基本形で準備運動．
%% 一度保存された，パラメータ文字を含むトークン列を定義とする，
%% パラメータをとるマクロを定義したいとする．
\def\a{##2##1}                  % カテゴリコードが6である限り，# は二重にせざるをえない．
\expandafter\def\expandafter\b\expandafter#\expandafter1\expandafter#\expandafter2\expandafter{\a}
\show\b                         % #1#2->#2#1
%% これはひどい．\edef 使いましょうよ．
\edef\b{%

kmaed

\documentclass{minimal}
\usepackage[T1]{fontenc}
\usepackage{etoolbox}

\makeatletter

% パッチを当てて，失敗したときだけ定型のエラーメッセージを出したいとする．
% いちいち面倒なのでマクロ化する．
\newrobustcmd*{\mypatchcmdi}[3]{% 一見良さそうだが，実はダメ．
  \patchcmd{#1}{#2}{#3}{}{\message{^^JError!: \string#1, #2, #3^^J}}}

kmaed

--- utf-tool.el.orig    2013-02-24 15:24:54.914062345 +0900
+++ utf-tool.el 2013-02-24 15:23:21.947814237 +0900
@@ -58,11 +58,13 @@
            ;; (charset-description charset)
            ;; (split (split-char char))
            (pos (point))
-           (unicode nil))
+           (unicode nil)
+           (cjk (string-match "CJK" (get-char-code-property char 'name))))
       (unless

kmaed

--- utf-tool.el.orig    2013-02-20 08:17:48.933065400 +0900
+++ utf-tool.el 2013-02-20 08:09:10.473884298 +0900
@@ -62,7 +62,7 @@
       (unless
           (memq charset '(ascii japanese-jisx0208 katakana-jisx0201))
         (if (or (< char 256)
-                (memq 'mule-utf-8 (find-coding-systems-region pos (1+ pos)))
+                (memq 'utf-8 (find-coding-systems-region pos (1+ pos)))
                 (get-char-property pos 'untranslated-utf-8))
             (setq unicode (or (get-char-property pos 'untranslated-utf-8)

kmaed