接続数

COUNTER212886FROM 2012/5/16

MISRA-C diary(C言語日誌)

12345
2017/04/12

後書

Tweet ThisSend to Facebook | by kaizen
C言語は、CPUの機能である機械語を全て網羅できるような仕組みを用意しようとしている。そのため、CPUの新たな機能が追加になっても、C言語の処理方式や、拡張機能などを使って実現する。

これは、C言語をCPUと同時に出荷することにより、他のプログラミング言語や、OS、ネットワークなどに対応することを目的としている。
CPUの開発元としては、C言語さえ用意すれば、後の道具類は使う人で移植してくれると言う状況が望ましい。

実際に、GCC, LLVM/Clangなどのオープンソースの言語や、Linux, TOPPERSなどのオープンソースのOSは、C言語の提供があれば実現してきている。

CPUの新しい機能に対応できるようにするためには、
C言語の未規定、未定義、処理系定義などの保留している事項が関係してきた。
しかし、最新のCPUは、GPUや64ビット処理など、過去に必要だった事項とは必ずしも同じ枠組みが必要とは限らない。

大まかに、二つの動きがある。一つはLinux、もう一つはセキュリティのTSの制定である。

実際に、Linux では、国際規格に対応するために、それぞれのCPUごとの仕様まで踏み込んで規定している。
C言語も、Linux が対応しているようなCPUについては、同じような規定群を持っても良いかもしれない。そうすれば、特定のCPU群内部であれば、従来の未規定、未定義、処理系定義などに左右されることなく、一意に規定して厳密な動作を確認することができるかもしれない。

もう一つの
15:56 | 投票する | 投票数(0) | コメント(0)
2017/02/25

LLVM

Tweet ThisSend to Facebook | by kaizen
12:36 | 投票する | 投票数(0) | コメント(0)
2016/07/11

安全工学シンポジウム(安全と安心)

Tweet ThisSend to Facebook | by kaizen
安全工学シンポジウムの予稿集に掲載したものに、
発表資料に掲載した参考文献を追加したものを
ここに掲載します。MISRA-C++とCERT C++による安全・安心システムへの貢献

slideshareに掲載した内容


また、昨年の発表内容のslideは


15:57 | 投票する | 投票数(0) | コメント(0)
2016/06/30

kernel compileへの道

Tweet ThisSend to Facebook | by kaizen
UNIX系のカーネルのコンパイルは

1度目はあるX windowプログラミングで、カーネルに手を入れる必要があり、
ある機種のあるカーネルについてコンパイル。

2度目はBSDで、学生のBSD使いに教えてもらいコンパイル。

3度目はnetworkプロトコルの実験で、カーネルに手を入れる必要があり、
Debianで、特定のカーネルソースをインストールして、そこから
少しダウングレードして、さらにプロトコル用のパッチを当ててコンパイル。

4度目は、Linuxのカーネルソースのコンパイルと、Cコンパイラのコンパイルを比較して、
希弱性を確認するため。

MacintoshにVagrantを入れ、Virtual Boxを入れた。

LLVMをコンパイルしてからLinuxのカーネルをコンパイルしたらHDDがあふれた。

別の機材で最初からLinuxのカーネルをコンパイルしたが、HDDがあふれた。

HDDの要領を増やす方法を検討。

1 Virtual BOXで、ディスクをコピーし、Dviファイルにしてた。

そのファイルの要領をVagrantmanageの--resizeで増やした。

Virtual BOXで、ディスクの設定を増やした方にした。

ディスクマネージャで増やしたり、新しいディスクを作ったり、
2つのディスクをマージしようとしたり、新しいディスクをmountしようとしたり、
約10通りの失敗を繰り返した。

なぜか、2回コンパイルする。
1回目の
.tmp_vmlinux1, .tmp_vmlinux2, vmlinu.oを削除。
122242744
16:05 | 投票する | 投票数(0) | コメント(0)
2016/06/30

vagrant

Tweet ThisSend to Facebook | by kaizen
OgawaKiyoshi-no-MacBook-Pro:~ ogawakiyoshi$ cd
OgawaKiyoshi-no-MacBook-Pro:~ ogawakiyoshi$ mkdir work
OgawaKiyoshi-no-MacBook-Pro:~ ogawakiyoshi$ cd work
OgawaKiyoshi-no-MacBook-Pro:work ogawakiyoshi$ vagrant init  debian/jessie64
A `Vagrantfile` has been placed in this directory. You are now
ready to `vagrant up` your first virtual environment! Please read
the comments in the Vagrantfile as well as documentation on
`vagrantup.com` for more information on using Vagrant.
OgawaKiyoshi-no-MacBook-Pro:work ogawakiyoshi$ vagrant up
Bringing machine 'default' up with 'virtualbox' provider...
==> default: Box 'debian/jessie64' could not be found. Attempting to find and install...
    default: Box Provider: virtualbox
    default: Box Version: >= 0
==> default: Loading metadata for box 'debian/jessie64'
    default: URL: https://atlas.hashicorp.com/debian/jessie64
==> default: Adding box 'debian/jessie64' (v8.5.0) for provider: virtualbox
    default: Downloading: https://atlas.hashicorp.com/debian/boxes/jessie64/versions/8.5.0/providers/virtualbox.box
==> default: Successfully added box 'debian/jessie64' (v8.5.0) for 'virtualbox'!
==> default: Importing base box 'debian/jessie64'...
==> default: Matching MAC address for NAT networking...
==> default: Checking if box 'debian/jessie64' is up to date...
==> default: Setting the name of the VM: work_default_1467204201633_20466
==> default: Clearing any previously set network interfaces...
==> default: Preparing network interfaces based on configuration...
    default: Adapter 1: nat
==> default: Forwarding ports...
    default: 22 (guest) => 2222 (host) (adapter 1)
==> default: Booting VM...
==> default: Waiting for machine to boot. This may take a few minutes...
    default: SSH address: 127.0.0.1:2222
    default: SSH username: vagrant
    default: SSH auth method: private key
    default:
    default: Vagrant insecure key detected. Vagrant will automatically replace
    default: this with a newly generated keypair for better security.
    default:
    default: Inserting generated public key within guest...
    default: Removing insecure key from the guest if it's present...
    default: Key inserted! Disconnecting and reconnecting using new SSH key...
==> default: Machine booted and ready!
==> default: Checking for guest additions in VM...
    default: No guest additions were detected on the base box for this VM! Guest
    default: additions are required for forwarded ports, shared folders, host only
    default: networking, and more. If SSH fails on this machine, please install
    default: the guest additions and repackage the box to continue.
    default:
    default: This is not an error message; everything may continue to work properly,
    default: in which case you may ignore this message.
==> default: Installing rsync to the VM...
==> default: Rsyncing folder: /Users/ogawakiyoshi/work/ => /vagrant
OgawaKiyoshi-no-MacBook-Pro:work ogawakiyoshi$vagrant up
Bringing machine 'default' up with 'virtualbox' provider...
==> default: Checking if box 'debian/jessie64' is up to date...
==> default: Resuming suspended VM...
==> default: Booting VM...
==> default: Waiting for machine to boot. This may take a few minutes...
    default: SSH address: 127.0.0.1:2222
    default: SSH username: vagrant
    default: SSH auth method: private key
==> default: Machine booted and ready!
==> default: Machine already provisioned. Run `vagrant provision` or use the `--provision`
==> default: flag to force provisioning. Provisioners marked to run always will still run.
OgawaKiyoshi-no-MacBook-Pro:work ogawakiyoshi$ Run `vagrant provision`
-bash: Run: command not found
OgawaKiyoshi-no-MacBook-Pro:work ogawakiyoshi$ vargant provision
-bash: vargant: command not found
OgawaKiyoshi-no-MacBook-Pro:work ogawakiyoshi$ vagrant provision
OgawaKiyoshi-no-MacBook-Pro:work ogawakiyoshi$ vagrant ssh

The programs included with the Debian GNU/Linux system are free software;
the exact distribution terms for each program are described in the
individual files in /usr/share/doc/*/copyright.

Debian GNU/Linux comes with ABSOLUTELY NO WARRANTY, to the extent
ーーー
  CC [M]  net/llc/llc_s_ev.o
  CC [M]  net/llc/llc_s_st.o
  CC [M]  net/llc/af_llc.o
  CC [M]  net/llc/llc_station.o
  CC [M]  net/llc/llc_proc.o
  CC [M]  net/llc/sysctl_net_llc.o
  LD [M]  net/llc/llc.o
  LD [M]  net/llc/llc2.o
ld: final link failed: No space left on device
scripts/Makefile.build:393: recipe for target 'net/llc/llc2.o' failed
make[3]: *** [net/llc/llc2.o] Error 1
scripts/Makefile.build:404: recipe for target 'net/llc' failed
make[2]: *** [net/llc] Error 2
Makefile:907: recipe for target 'net' failed
make[1]: *** [net] Error 2
make[1]: Leaving directory '/usr/src/linux-source-3.16'
debian/ruleset/targets/common.mk:295: recipe for target 'debian/stamp/build/kernel' failed
make: *** [debian/stamp/build/kernel] Error 2
03:09 | 投票する | 投票数(0) | コメント(0)
2016/06/29

sudo apt-get install linux-source

Tweet ThisSend to Facebook | by kaizen

8.6. 新しいカーネルのコンパイル

 

sudo apt-get install linux-source
Reading package lists... Done
Building dependency tree      
Reading state information... Done
The following extra packages will be installed:
  linux-source-3.16
Suggested packages:
  libncurses-dev ncurses-dev libqt4-dev pkg-config
The following NEW packages will be installed:
  linux-source linux-source-3.16
0 upgraded, 2 newly installed, 0 to remove and 2 not upgraded.
Need to get 83.7 MB of archives.
After this operation, 83.7 MB of additional disk space will be used.
Do you want to continue? [Y/n] Y
Get:1 http://security.debian.org/ jessie/updates/main linux-source-3.16 all 3.16.7-ckt25-2+deb8u2 [83.7 MB]
Get:2 http://httpredir.debian.org/debian/ jessie/main linux-source all 3.16+63 [5,014 B]
Fetched 83.7 MB in 30s (2,765 kB/s)                                                                                    
Selecting previously unselected package linux-source-3.16.
(Reading database ... 74268 files and directories currently installed.)
Preparing to unpack .../linux-source-3.16_3.16.7-ckt25-2+deb8u2_all.deb ...
Unpacking linux-source-3.16 (3.16.7-ckt25-2+deb8u2) ...
Selecting previously unselected package linux-source.
Preparing to unpack .../linux-source_3.16+63_all.deb ...
Unpacking linux-source (3.16+63) ...
Setting up linux-source-3.16 (3.16.7-ckt25-2+deb8u2) ...
Setting up linux-source (3.16+63) ...

cd /usr/src
sudo tar xf linux-source-3.16.tar.xz

sudo apt-get install libncurses5-dev
Reading package lists... Done
Building dependency tree      
Reading state information... Done
Suggested packages:
  ncurses-doc
The following NEW packages will be installed:
  libncurses5-dev
0 upgraded, 1 newly installed, 0 to remove and 2 not upgraded.
Need to get 175 kB of archives.
After this operation, 1,096 kB of additional disk space will be used.
Get:1 http://httpredir.debian.org/debian/ jessie/main libncurses5-dev amd64 5.9+20140913-1+b1 [175 kB]
Fetched 175 kB in 0s (216 kB/s)    
Selecting previously unselected package libncurses5-dev:amd64.
(Reading database ... 74328 files and directories currently installed.)
Preparing to unpack .../libncurses5-dev_5.9+20140913-1+b1_amd64.deb ...
Unpacking libncurses5-dev:amd64 (5.9+20140913-1+b1) ...
Setting up libncurses5-dev:amd64 (5.9+20140913-1+b1) ...

sudo make menuconfig
scripts/kconfig/mconf Kconfig


*** End of the configuration.
*** Execute 'make' to start the build or try 'make help'.

vagrant@debian-jessie:/usr/src/linux-source-3.16$ sudo make-kpkg clean
exec make kpkg_version=13.014+nmu1 -f /usr/share/kernel-package/ruleset/minimal.mk clean
====== making target minimal_clean [new prereqs: ]======
This is kernel package version 13.014+nmu1.
test ! -f .config || cp -pf .config config.precious
test ! -e stamp-building || rm -f stamp-building
test ! -f Makefile || \
            make    ARCH=x86_64 distclean
make[1]: Entering directory '/usr/src/linux-source-3.16'
  CLEAN   scripts/basic
  CLEAN   scripts/kconfig
  CLEAN   include/config include/generated
  CLEAN   .config
make[1]: Leaving directory '/usr/src/linux-source-3.16'
test ! -f config.precious || mv -f config.precious .config
rm -f modules/modversions.h modules/ksyms.ver scripts/cramfs/cramfsck scripts/cramfs/mkcramfs
vagrant@debian-jessie:/usr/src/linux-source-3.16$

---
  CC [M]  drivers/char/tpm/tpm-interface.o
ld: final link failed: No space left on device
scripts/Makefile.build:257: recipe for target 'drivers/char/tpm/tpm-interface.o' failed
make[4]: *** [drivers/char/tpm/tpm-interface.o] Error 1
scripts/Makefile.build:404: recipe for target 'drivers/char/tpm' failed
make[3]: *** [drivers/char/tpm] Error 2
scripts/Makefile.build:404: recipe for target 'drivers/char' failed
make[2]: *** [drivers/char] Error 2
Makefile:907: recipe for target 'drivers' failed
make[1]: *** [drivers] Error 2
make[1]: Leaving directory '/usr/src/linux-source-3.16'
debian/ruleset/targets/common.mk:295: recipe for target 'debian/stamp/build/kernel' failed
make: *** [debian/stamp/build/kernel] Error 2

----
  LD [M]  drivers/block/rsxx/rsxx.o
  CC [M]  drivers/block/xen-blkback/blkback.o
  CC [M]  drivers/block/xen-blkback/xenbus.o
  LD [M]  drivers/block/xen-blkback/xen-blkback.o
  CC [M]  drivers/block/zram/zcomp_lzo.o
  CC [M]  drivers/block/zram/zcomp.o
  CC [M]  drivers/block/zram/zram_drv.o
  LD [M]  drivers/block/zram/zram.o
  CC [M]  drivers/block/aoe/aoeblk.o
  CC [M]  drivers/block/aoe/aoechr.o
  CC [M]  drivers/block/aoe/aoecmd.o
  CC [M]  drivers/block/aoe/aoedev.o
  CC [M]  drivers/block/aoe/aoemain.o
  CC [M]  drivers/block/aoe/aoenet.o
  LD [M]  drivers/block/aoe/aoe.o
  CC [M]  drivers/bluetooth/hci_vhci.o
  CC [M]  drivers/bluetooth/btmrvl_main.o
  CC [M]  drivers/bluetooth/btmrvl_debugfs.o
  CC [M]  drivers/bluetooth/hci_ldisc.o
  CC [M]  drivers/bluetooth/hci_h4.o
  CC [M]  drivers/bluetooth/hci_bcsp.o
  CC [M]  drivers/bluetooth/hci_ll.o
  CC [M]  drivers/bluetooth/hci_ath.o
  CC [M]  drivers/bluetooth/hci_h5.o
  LD [M]  drivers/bluetooth/hci_uart.o
  CC [M]  drivers/bluetooth/bcm203x.o
  CC [M]  drivers/bluetooth/bpa10x.o
  CC [M]  drivers/bluetooth/bfusb.o
  CC [M]  drivers/bluetooth/dtl1_cs.o
  CC [M]  drivers/bluetooth/bt3c_cs.o
  CC [M]  drivers/bluetooth/bluecard_cs.o
  CC [M]  drivers/bluetooth/btusb.o
  CC [M]  drivers/bluetooth/btsdio.o
  CC [M]  drivers/bluetooth/ath3k.o
  LD [M]  drivers/bluetooth/btmrvl.o
  CC [M]  drivers/bluetooth/btmrvl_sdio.o
  CC [M]  drivers/cdrom/cdrom.o
  CC [M]  drivers/char/virtio_console.o
  CC [M]  drivers/char/raw.o
  CC [M]  drivers/char/lp.o
  CC [M]  drivers/char/applicom.o
  CC [M]  drivers/char/nvram.o
  CC [M]  drivers/char/i8k.o
  CC [M]  drivers/char/ppdev.o
  CC [M]  drivers/char/tlclk.o
  CC [M]  drivers/char/hangcheck-timer.o
  CC [M]  drivers/char/hw_random/core.o
  LD [M]  drivers/char/hw_random/rng-core.o
  CC [M]  drivers/char/hw_random/intel-rng.o
  CC [M]  drivers/char/hw_random/amd-rng.o
  CC [M]  drivers/char/hw_random/via-rng.o
  CC [M]  drivers/char/hw_random/virtio-rng.o
  CC [M]  drivers/char/hw_random/tpm-rng.o
  CC [M]  drivers/char/mwave/mwavedd.o
  CC [M]  drivers/char/mwave/smapi.o
  CC [M]  drivers/char/mwave/tp3780i.o
  CC [M]  drivers/char/mwave/3780i.o
  LD [M]  drivers/char/mwave/mwave.o
  CC [M]  drivers/char/pcmcia/synclink_cs.o
  CC [M]  drivers/char/pcmcia/cm4000_cs.o
  CC [M]  drivers/char/pcmcia/cm4040_cs.o
  CC [M]  drivers/char/tpm/tpm-interface.o
ld: final link failed: No space left on device
scripts/Makefile.build:257: recipe for target 'drivers/char/tpm/tpm-interface.o' failed
make[4]: *** [drivers/char/tpm/tpm-interface.o] Error 1
scripts/Makefile.build:404: recipe for target 'drivers/char/tpm' failed
make[3]: *** [drivers/char/tpm] Error 2
scripts/Makefile.build:404: recipe for target 'drivers/char' failed
make[2]: *** [drivers/char] Error 2
Makefile:907: recipe for target 'drivers' failed
make[1]: *** [drivers] Error 2
make[1]: Leaving directory '/usr/src/linux-source-3.16'
debian/ruleset/targets/common.mk:295: recipe for target 'debian/stamp/build/kernel' failed
make: *** [debian/stamp/build/kernel] Error 2
vagrant@debian-jessie:/usr/src/linux-source-3.16$ ld
ld: no input files
vagrant@debian-jessie:/usr/src/linux-source-3.16$ ls
arch     crypto         fs       Kbuild   MAINTAINERS    Module.symvers  samples   System.map  vmlinux
block    debian         include  Kconfig  Makefile       net             scripts   tools       vmlinux.o
COPYING  Documentation  init     kernel   mm             README          security  usr
CREDITS  drivers        ipc      lib      modules.order  REPORTING-BUGS  sound     virt
vagrant@debian-jessie:/usr/src/linux-source-3.16$ cd ..
vagrant@debian-jessie:/usr/src$ ls
linux-config-3.16  linux-source-3.16  linux-source-3.16.tar.xz
vagrant@debian-jessie:/usr/src$ df -k
Filesystem     1K-blocks    Used Available Use% Mounted on
/dev/sda1        9620408 9603928         0 100% /
udev               10240       0     10240   0% /dev
tmpfs             101256    4384     96872   5% /run
tmpfs             253132       0    253132   0% /dev/shm
tmpfs               5120       0      5120   0% /run/lock
tmpfs             253132       0    253132   0% /sys/fs/cgroup

exit
-----
 VBoxManage showhdinfo debian-jessie-disk1.vmdk
UUID:           4846eec2-2ec4-48ac-808e-925b8612a600
Parent UUID:    base
State:          locked write
Type:           normal (base)
Location:       /Users/administrator/VirtualBox VMs/work_default_1467176295659_95846/debian-jessie-disk1.vmdk
Storage format: VMDK
Format variant: dynamic default
Capacity:       10140 MBytes
Size on disk:   1049 MBytes
Encryption:     disabled
In use by VMs:  work_default_1467176295659_95846 (UUID: 07081e84-7cc4-4e5b-aea5-70530b871829)

---
VBoxManage modifyhd debian-jessie-disk1.vmdk --resize 16384
VBoxManage: error: Failed to lock media when compacting '/Users/administrator/VirtualBox VMs/work_default_1467176295659_95846/debian-jessie-disk1.vmdk'
VBoxManage: error: Details: code VBOX_E_INVALID_OBJECT_STATE (0x80bb0007), component MediumWrap, interface IMedium, callee nsISupports
VBoxManage: error: Context: "Resize(cbResize, pProgress.asOutParam())" at line 691 of file VBoxManageDisk.cpp
VBoxManage: error: Failed to resize medium!
17:24 | 投票する | 投票数(0) | コメント(0)
2016/06/29

apt-get install kernel-package(2/2)

Tweet ThisSend to Facebook | by kaizen
Preparing to unpack .../fonts-texgyre_20140520-1_all.deb ...
Unpacking fonts-texgyre (20140520-1) ...
Selecting previously unselected package gettext.
Preparing to unpack .../gettext_0.19.3-2_amd64.deb ...
Unpacking gettext (0.19.3-2) ...
Selecting previously unselected package gsfonts.
Preparing to unpack .../gsfonts_1%3a8.11+urwcyr1.0.7~pre44-4.2_all.deb ...
Unpacking gsfonts (1:8.11+urwcyr1.0.7~pre44-4.2) ...
Selecting previously unselected package ghostscript.
Preparing to unpack .../ghostscript_9.06~dfsg-2+deb8u1_amd64.deb ...
Unpacking ghostscript (9.06~dfsg-2+deb8u1) ...
Selecting previously unselected package intltool-debian.
Preparing to unpack .../intltool-debian_0.35.0+20060710.1_all.deb ...
Unpacking intltool-debian (0.35.0+20060710.1) ...
Selecting previously unselected package javascript-common.
Preparing to unpack .../javascript-common_11_all.deb ...
Unpacking javascript-common (11) ...
Selecting previously unselected package kernel-common.
Preparing to unpack .../kernel-common_13.014+nmu1_all.deb ...
Unpacking kernel-common (13.014+nmu1) ...
Selecting previously unselected package po-debconf.
Preparing to unpack .../po-debconf_1.0.16+nmu3_all.deb ...
Unpacking po-debconf (1.0.16+nmu3) ...
Selecting previously unselected package libxml2-utils.
Preparing to unpack .../libxml2-utils_2.9.1+dfsg1-5+deb8u2_amd64.deb ...
Unpacking libxml2-utils (2.9.1+dfsg1-5+deb8u2) ...
Selecting previously unselected package xmlto.
Preparing to unpack .../xmlto_0.0.25-2_amd64.deb ...
Unpacking xmlto (0.0.25-2) ...
Selecting previously unselected package kernel-package.
Preparing to unpack .../kernel-package_13.014+nmu1_all.deb ...
Unpacking kernel-package (13.014+nmu1) ...
Selecting previously unselected package libasprintf-dev:amd64.
Preparing to unpack .../libasprintf-dev_0.19.3-2_amd64.deb ...
Unpacking libasprintf-dev:amd64 (0.19.3-2) ...
Selecting previously unselected package libfile-basedir-perl.
Preparing to unpack .../libfile-basedir-perl_0.03-1_all.deb ...
Unpacking libfile-basedir-perl (0.03-1) ...
Selecting previously unselected package libfile-desktopentry-perl.
Preparing to unpack .../libfile-desktopentry-perl_0.07-1_all.deb ...
Unpacking libfile-desktopentry-perl (0.07-1) ...
Selecting previously unselected package libfile-which-perl.
Preparing to unpack .../libfile-which-perl_1.09-1_all.deb ...
Unpacking libfile-which-perl (1.09-1) ...
Selecting previously unselected package libfile-homedir-perl.
Preparing to unpack .../libfile-homedir-perl_1.00-1_all.deb ...
Unpacking libfile-homedir-perl (1.00-1) ...
Selecting previously unselected package libfile-mimeinfo-perl.
Preparing to unpack .../libfile-mimeinfo-perl_0.26-1_all.deb ...
Unpacking libfile-mimeinfo-perl (0.26-1) ...
Selecting previously unselected package libgettextpo-dev:amd64.
Preparing to unpack .../libgettextpo-dev_0.19.3-2_amd64.deb ...
Unpacking libgettextpo-dev:amd64 (0.19.3-2) ...
Selecting previously unselected package libjs-jquery.
Preparing to unpack .../libjs-jquery_1.7.2+dfsg-3.2_all.deb ...
Unpacking libjs-jquery (1.7.2+dfsg-3.2) ...
Selecting previously unselected package libsys-hostname-long-perl.
Preparing to unpack .../libsys-hostname-long-perl_1.4-3_all.deb ...
Unpacking libsys-hostname-long-perl (1.4-3) ...
Selecting previously unselected package libmail-sendmail-perl.
Preparing to unpack .../libmail-sendmail-perl_0.79.16-1_all.deb ...
Unpacking libmail-sendmail-perl (0.79.16-1) ...
Selecting previously unselected package libxml-twig-perl.
Preparing to unpack .../libxml-twig-perl_1%3a3.48-1_all.deb ...
Unpacking libxml-twig-perl (1:3.48-1) ...
Selecting previously unselected package libnet-dbus-perl.
Preparing to unpack .../libnet-dbus-perl_1.0.0-2+b2_amd64.deb ...
Unpacking libnet-dbus-perl (1.0.0-2+b2) ...
Selecting previously unselected package libtie-ixhash-perl.
Preparing to unpack .../libtie-ixhash-perl_1.23-1_all.deb ...
Unpacking libtie-ixhash-perl (1.23-1) ...
Selecting previously unselected package libutempter0.
Preparing to unpack .../libutempter0_1.1.5-4_amd64.deb ...
Unpacking libutempter0 (1.1.5-4) ...
Selecting previously unselected package libx11-protocol-perl.
Preparing to unpack .../libx11-protocol-perl_0.56-6_all.deb ...
Unpacking libx11-protocol-perl (0.56-6) ...
Selecting previously unselected package libxml-xpathengine-perl.
Preparing to unpack .../libxml-xpathengine-perl_0.13-1_all.deb ...
Unpacking libxml-xpathengine-perl (0.13-1) ...
Selecting previously unselected package libyaml-tiny-perl.
Preparing to unpack .../libyaml-tiny-perl_1.64-1_all.deb ...
Unpacking libyaml-tiny-perl (1.64-1) ...
Selecting previously unselected package lmodern.
Preparing to unpack .../lmodern_2.004.4-5_all.deb ...
Unpacking lmodern (2.004.4-5) ...
Selecting previously unselected package prerex.
Preparing to unpack .../prerex_6.5.3-1_amd64.deb ...
Unpacking prerex (6.5.3-1) ...
Selecting previously unselected package texlive-pstricks.
Preparing to unpack .../texlive-pstricks_2014.20141024-1_all.deb ...
Unpacking texlive-pstricks (2014.20141024-1) ...
Selecting previously unselected package prosper.
Preparing to unpack .../prosper_1.00.4+cvs.2007.05.01-4_all.deb ...
Unpacking prosper (1.00.4+cvs.2007.05.01-4) ...
Selecting previously unselected package ps2eps.
Preparing to unpack .../ps2eps_1.68+binaryfree-1_amd64.deb ...
Unpacking ps2eps (1.68+binaryfree-1) ...
Selecting previously unselected package rubygems-integration.
Preparing to unpack .../rubygems-integration_1.8_all.deb ...
Unpacking rubygems-integration (1.8) ...
Selecting previously unselected package libruby2.1:amd64.
Preparing to unpack .../libruby2.1_2.1.5-2+deb8u2_amd64.deb ...
Unpacking libruby2.1:amd64 (2.1.5-2+deb8u2) ...
Selecting previously unselected package ruby2.1.
Preparing to unpack .../ruby2.1_2.1.5-2+deb8u2_amd64.deb ...
Unpacking ruby2.1 (2.1.5-2+deb8u2) ...
Selecting previously unselected package ruby.
Preparing to unpack .../ruby_1%3a2.1.5+deb8u2_all.deb ...
Unpacking ruby (1:2.1.5+deb8u2) ...
Selecting previously unselected package tcl8.6.
Preparing to unpack .../tcl8.6_8.6.2+dfsg-2_amd64.deb ...
Unpacking tcl8.6 (8.6.2+dfsg-2) ...
Selecting previously unselected package tcl.
Preparing to unpack .../archives/tcl_8.6.0+8_amd64.deb ...
Unpacking tcl (8.6.0+8) ...
Selecting previously unselected package tex-gyre.
Preparing to unpack .../tex-gyre_20140520-1_all.deb ...
Unpacking tex-gyre (20140520-1) ...
Selecting previously unselected package texlive-font-utils.
Preparing to unpack .../texlive-font-utils_2014.20141024-1_all.deb ...
Unpacking texlive-font-utils (2014.20141024-1) ...
Selecting previously unselected package texlive-fonts-recommended-doc.
Preparing to unpack .../texlive-fonts-recommended-doc_2014.20141024-2_all.deb ...
Unpacking texlive-fonts-recommended-doc (2014.20141024-2) ...
Selecting previously unselected package texlive-latex-base-doc.
Preparing to unpack .../texlive-latex-base-doc_2014.20141024-2_all.deb ...
Unpacking texlive-latex-base-doc (2014.20141024-2) ...
Selecting previously unselected package texlive-latex-extra-doc.
Preparing to unpack .../texlive-latex-extra-doc_2014.20141024-1_all.deb ...
Unpacking texlive-latex-extra-doc (2014.20141024-1) ...
Selecting previously unselected package texlive-latex-recommended-doc.
Preparing to unpack .../texlive-latex-recommended-doc_2014.20141024-2_all.deb ...
Unpacking texlive-latex-recommended-doc (2014.20141024-2) ...
Selecting previously unselected package texlive-pictures-doc.
Preparing to unpack .../texlive-pictures-doc_2014.20141024-2_all.deb ...
Unpacking texlive-pictures-doc (2014.20141024-2) ...
Selecting previously unselected package texlive-pstricks-doc.
Preparing to unpack .../texlive-pstricks-doc_2014.20141024-1_all.deb ...
Unpacking texlive-pstricks-doc (2014.20141024-1) ...
Selecting previously unselected package tk8.6.
Preparing to unpack .../tk8.6_8.6.2-1_amd64.deb ...
Unpacking tk8.6 (8.6.2-1) ...
Selecting previously unselected package tk.
Preparing to unpack .../archives/tk_8.6.0+8_amd64.deb ...
Unpacking tk (8.6.0+8) ...
Selecting previously unselected package unzip.
Preparing to unpack .../unzip_6.0-16+deb8u2_amd64.deb ...
Unpacking unzip (6.0-16+deb8u2) ...
Selecting previously unselected package xbitmaps.
Preparing to unpack .../xbitmaps_1.1.1-2_all.deb ...
Unpacking xbitmaps (1.1.1-2) ...
Selecting previously unselected package xterm.
Preparing to unpack .../archives/xterm_312-2_amd64.deb ...
Unpacking xterm (312-2) ...
Selecting previously unselected package vprerex.
Preparing to unpack .../vprerex_6.5.3-1_amd64.deb ...
Unpacking vprerex (6.5.3-1) ...
Selecting previously unselected package x11-utils.
Preparing to unpack .../x11-utils_7.7+2_amd64.deb ...
Unpacking x11-utils (7.7+2) ...
Selecting previously unselected package x11-xserver-utils.
Preparing to unpack .../x11-xserver-utils_7.7+3+b1_amd64.deb ...
Unpacking x11-xserver-utils (7.7+3+b1) ...
Selecting previously unselected package zip.
Preparing to unpack .../archives/zip_3.0-8_amd64.deb ...
Unpacking zip (3.0-8) ...
Processing triggers for fontconfig (2.11.0-6.3) ...
Processing triggers for man-db (2.7.0.2-5) ...
Processing triggers for systemd (215-17+deb8u4) ...
Processing triggers for sgml-base (1.26+nmu4) ...
Processing triggers for install-info (5.2.0.dfsg.1-6) ...
Processing triggers for mime-support (3.58) ...
Processing triggers for hicolor-icon-theme (0.13-1) ...
Setting up fonts-droid (1:4.4.4r2-6) ...
Setting up x11-common (1:7.7+7) ...
update-rc.d: warning: start and stop actions are no longer supported; falling back to defaults
Setting up libice6:amd64 (2:1.0.9-1+b1) ...
Setting up libsm6:amd64 (2:1.2.2-1+b1) ...
Setting up libxt6:amd64 (1:1.1.4-1+b1) ...
Setting up libaudio2:amd64 (1.9.4-3) ...
Setting up libcroco3:amd64 (0.6.8-3+b1) ...
Setting up libdrm2:amd64 (2.4.58-2) ...
Setting up libpciaccess0:amd64 (0.13.2-3+b1) ...
Setting up libdrm-intel1:amd64 (2.4.58-2) ...
Setting up libdrm-nouveau2:amd64 (2.4.58-2) ...
Setting up libdrm-radeon1:amd64 (2.4.58-2) ...
Setting up libelf1:amd64 (0.159-4.2) ...
Setting up libfontenc1:amd64 (1:1.1.2-1+b2) ...
Setting up libunistring0:amd64 (0.9.3-5.2+b1) ...
Setting up libgettextpo0:amd64 (0.19.3-2) ...
Setting up libgl1-mesa-dri:amd64 (10.3.2-1+deb8u1) ...
Setting up libglapi-mesa:amd64 (10.3.2-1+deb8u1) ...
Setting up libx11-xcb1:amd64 (2:1.6.2-3) ...
Setting up libxcb-dri2-0:amd64 (1.10-3+b1) ...
Setting up libxcb-dri3-0:amd64 (1.10-3+b1) ...
Setting up libxcb-glx0:amd64 (1.10-3+b1) ...
Setting up libxcb-present0:amd64 (1.10-3+b1) ...
Setting up libxcb-sync1:amd64 (1.10-3+b1) ...
Setting up libxshmfence1:amd64 (1.1-4) ...
Setting up libxxf86vm1:amd64 (1:1.1.3-1+b1) ...
Setting up libgl1-mesa-glx:amd64 (10.3.2-1+deb8u1) ...
Setting up libharfbuzz-icu0:amd64 (0.9.35-2) ...
Setting up libijs-0.35:amd64 (0.35-10) ...
Setting up libmng1:amd64 (1.0.10+dfsg-3.1+b3) ...
Setting up libopenjpeg5:amd64 (1:1.5.2-3) ...
Setting up libpoppler46:amd64 (0.26.5-2+deb8u1) ...
Setting up qtcore4-l10n (4:4.8.6+git64-g5dc8b2b+dfsg-3+deb8u1) ...
Setting up libqtcore4:amd64 (4:4.8.6+git64-g5dc8b2b+dfsg-3+deb8u1) ...
Setting up libqt4-xml:amd64 (4:4.8.6+git64-g5dc8b2b+dfsg-3+deb8u1) ...
Setting up libqtgui4:amd64 (4:4.8.6+git64-g5dc8b2b+dfsg-3+deb8u1) ...
Setting up libpoppler-qt4-4:amd64 (0.26.5-2+deb8u1) ...
Setting up libtcl8.6:amd64 (8.6.2+dfsg-2) ...
Setting up libxft2:amd64 (2.3.2-1) ...
Setting up libxss1:amd64 (1:1.2.2-1) ...
Setting up libtk8.6:amd64 (8.6.2-1) ...
Setting up libxmu6:amd64 (2:1.1.2-1) ...
Setting up libxpm4:amd64 (1:3.5.11-1+b1) ...
Setting up libxaw7:amd64 (2:1.0.12-2+b1) ...
Setting up libxcb-shape0:amd64 (1.10-3+b1) ...
Setting up libxslt1.1:amd64 (1.1.28-2+deb8u1) ...
Setting up libxtst6:amd64 (2:1.2.2-1+b1) ...
Setting up libxv1:amd64 (2:1.0.10-1+b1) ...
Setting up libxxf86dga1:amd64 (2:1.1.4-1+b1) ...
Setting up libyaml-0-2:amd64 (0.1.6-3) ...
Setting up libzzip-0-13:amd64 (0.13.62-3) ...
Setting up poppler-data (0.4.7-1) ...
Setting up libtxc-dxtn-s2tc0:amd64 (0~git20131104-1.1) ...
update-alternatives: using /usr/lib/x86_64-linux-gnu/libtxc_dxtn_s2tc.so.0 to provide /usr/lib/x86_64-linux-gnu/libtxc_dxtn.so (libtxc-dxtn-x86_64-linux-gnu) in auto mode
Setting up autopoint (0.19.3-2) ...
Setting up sgml-data (2.0.10) ...
Setting up xsltproc (1.1.28-2+deb8u1) ...
Setting up libkpathsea6 (2014.20140926.35254-6) ...
Setting up libptexenc1 (2014.20140926.35254-6) ...
Setting up libjbig2dec0 (0.11+20120125-1) ...
Setting up libgs9-common (9.06~dfsg-2+deb8u1) ...
Setting up libpotrace0 (1.12-1) ...
Setting up libsynctex1 (2014.20140926.35254-6) ...
Setting up tex-common (5.03) ...
Setting up xdg-utils (1.1.0~rc1+git20111210-7.4) ...
Setting up preview-latex-style (11.87-3+deb8u1) ...
Setting up libosp5 (1.5.2-11.1) ...
Setting up libostyle1c2 (1.4devel1-21.1) ...
Setting up openjade (1.4devel1-21.1) ...
Setting up libsp1c2 (1.3.4-1.2.1-47.3) ...
Setting up sp (1.3.4-1.2.1-47.3) ...
Setting up libsgmls-perl (1.03ii-33) ...
Setting up sgmlspl (1.03ii-33) ...
Setting up docbook-xsl (1.78.1+dfsg-1) ...
Setting up fonts-lmodern (2.004.4-5) ...
Setting up fonts-texgyre (20140520-1) ...
Setting up gettext (0.19.3-2) ...
Setting up gsfonts (1:8.11+urwcyr1.0.7~pre44-4.2) ...
Setting up intltool-debian (0.35.0+20060710.1) ...
Setting up javascript-common (11) ...
Setting up kernel-common (13.014+nmu1) ...
Setting up po-debconf (1.0.16+nmu3) ...
Setting up libxml2-utils (2.9.1+dfsg1-5+deb8u2) ...
Setting up libasprintf-dev:amd64 (0.19.3-2) ...
Setting up libfile-basedir-perl (0.03-1) ...
Setting up libfile-desktopentry-perl (0.07-1) ...
Setting up libfile-which-perl (1.09-1) ...
Setting up libfile-homedir-perl (1.00-1) ...
Setting up libfile-mimeinfo-perl (0.26-1) ...
Setting up libgettextpo-dev:amd64 (0.19.3-2) ...
Setting up libjs-jquery (1.7.2+dfsg-3.2) ...
Setting up libsys-hostname-long-perl (1.4-3) ...
Setting up libmail-sendmail-perl (0.79.16-1) ...
Setting up libxml-twig-perl (1:3.48-1) ...
Setting up libnet-dbus-perl (1.0.0-2+b2) ...
Setting up libtie-ixhash-perl (1.23-1) ...
Setting up libutempter0 (1.1.5-4) ...
Creating utempter group...
Setting up libx11-protocol-perl (0.56-6) ...
Setting up libxml-xpathengine-perl (0.13-1) ...
Setting up libyaml-tiny-perl (1.64-1) ...
Setting up lmodern (2.004.4-5) ...
Setting up rubygems-integration (1.8) ...
Setting up libruby2.1:amd64 (2.1.5-2+deb8u2) ...
Setting up ruby2.1 (2.1.5-2+deb8u2) ...
Setting up ruby (1:2.1.5+deb8u2) ...
Setting up tcl8.6 (8.6.2+dfsg-2) ...
Setting up tcl (8.6.0+8) ...
Setting up tex-gyre (20140520-1) ...
Setting up tk8.6 (8.6.2-1) ...
Setting up tk (8.6.0+8) ...
Setting up unzip (6.0-16+deb8u2) ...
Setting up xbitmaps (1.1.1-2) ...
Setting up xterm (312-2) ...
update-alternatives: using /usr/bin/xterm to provide /usr/bin/x-terminal-emulator (x-terminal-emulator) in auto mode
update-alternatives: using /usr/bin/lxterm to provide /usr/bin/x-terminal-emulator (x-terminal-emulator) in auto mode
Setting up x11-utils (7.7+2) ...
Setting up x11-xserver-utils (7.7+3+b1) ...
Setting up zip (3.0-8) ...
Processing triggers for sgml-base (1.26+nmu4) ...
Setting up docbook-xml (4.5-7.2) ...
Processing triggers for sgml-base (1.26+nmu4) ...
Setting up docbook-dsssl (1.79-7) ...
Setting up xmlto (0.0.25-2) ...
Setting up kernel-package (13.014+nmu1) ...
Processing triggers for sgml-base (1.26+nmu4) ...
Setting up libcupsimage2:amd64 (1.7.5-11+deb8u1) ...
Setting up libcupsfilters1:amd64 (1.0.61-5+deb8u3) ...
Setting up libgs9 (9.06~dfsg-2+deb8u1) ...
Setting up texlive-binaries (2014.20140926.35254-6) ...
update-alternatives: using /usr/bin/xdvi-xaw to provide /usr/bin/xdvi.bin (xdvi.bin) in auto mode
update-alternatives: using /usr/bin/bibtex.original to provide /usr/bin/bibtex (bibtex) in auto mode
mktexlsr: Updating /var/lib/texmf/ls-R-TEXLIVEDIST...
mktexlsr: Updating /var/lib/texmf/ls-R-TEXMFMAIN...
mktexlsr: Updating /var/lib/texmf/ls-R...
mktexlsr: Done.
Building format(s) --refresh.
    This may take some time... done.
Setting up texlive-base (2014.20141024-2) ...
mktexlsr: Updating /var/lib/texmf/ls-R-TEXLIVEDIST...
mktexlsr: Updating /var/lib/texmf/ls-R-TEXMFMAIN...
mktexlsr: Updating /var/lib/texmf/ls-R...
mktexlsr: Done.
/usr/bin/tl-paper: setting paper size for dvips to a4.
/usr/bin/tl-paper: setting paper size for dvipdfmx to a4.
/usr/bin/tl-paper: setting paper size for xdvi to a4.
/usr/bin/tl-paper: setting paper size for pdftex to a4.
/usr/bin/tl-paper: setting paper size for dvipdfmx to letter.
/usr/bin/tl-paper: setting paper size for dvips to letter.
/usr/bin/tl-paper: setting paper size for pdftex to letter.
/usr/bin/tl-paper: setting paper size for xdvi to letter.
Running mktexlsr. This may take some time... done.
Building format(s) --all.
    This may take some time... done.
Setting up ghostscript (9.06~dfsg-2+deb8u1) ...
Setting up ps2eps (1.68+binaryfree-1) ...
Processing triggers for tex-common (5.03) ...
Running mktexlsr. This may take some time... done.
Running updmap-sys. This may take some time... done.
Running mktexlsr /var/lib/texmf ... done.
Setting up texlive-fonts-recommended-doc (2014.20141024-2) ...
Setting up texlive-latex-base-doc (2014.20141024-2) ...
Setting up texlive-latex-extra-doc (2014.20141024-1) ...
Setting up texlive-latex-recommended-doc (2014.20141024-2) ...
Setting up texlive-pictures-doc (2014.20141024-2) ...
Setting up texlive-pstricks-doc (2014.20141024-1) ...
Setting up texlive-latex-base (2014.20141024-2) ...
Running mktexlsr. This may take some time... done.
Building format(s) --all --cnffile /etc/texmf/fmt.d/10texlive-latex-base.cnf.
    This may take some time... done.
Setting up texlive-fonts-recommended (2014.20141024-2) ...
Setting up texlive-generic-recommended (2014.20141024-2) ...
Setting up texlive-font-utils (2014.20141024-1) ...
Processing triggers for tex-common (5.03) ...
Running mktexlsr. This may take some time... done.
Running updmap-sys. This may take some time... done.
Running mktexlsr /var/lib/texmf ... done.
Setting up texlive-latex-recommended (2014.20141024-2) ...
Setting up texlive-bibtex-extra (2014.20141024-1) ...
Setting up texlive-math-extra (2014.20141024-1) ...
Running mktexlsr. This may take some time... done.
Building format(s) --all --cnffile /etc/texmf/fmt.d/10texlive-math-extra.cnf.
    This may take some time... done.
Setting up texlive-extra-utils (2014.20141024-1) ...
Setting up tipa (2:1.3-20) ...
Processing triggers for tex-common (5.03) ...
Running mktexlsr. This may take some time... done.
Running updmap-sys. This may take some time... done.
Running mktexlsr /var/lib/texmf ... done.
Setting up texlive (2014.20141024-2) ...
Setting up texlive-pictures (2014.20141024-2) ...
Setting up jadetex (3.13-14) ...
Running mktexlsr. This may take some time... done.
Building format(s) --all --cnffile /etc/texmf/fmt.d/40jadetex.cnf.
    This may take some time... done.
Setting up docbook-utils (0.6.14-3) ...
Processing triggers for tex-common (5.03) ...
Running mktexlsr. This may take some time... done.
Running updmap-sys. This may take some time... done.
Running mktexlsr /var/lib/texmf ... done.
Setting up texlive-pstricks (2014.20141024-1) ...
Setting up texlive-latex-extra (2014.20141024-1) ...
Setting up prerex (6.5.3-1) ...
Setting up vprerex (6.5.3-1) ...
Processing triggers for tex-common (5.03) ...
Running mktexlsr. This may take some time... done.
Running updmap-sys. This may take some time... done.
Running mktexlsr /var/lib/texmf ... done.
Setting up prosper (1.00.4+cvs.2007.05.01-4) ...
Running mktexlsr. This may take some time... done.
Setting up dblatex (0.3.5-2) ...
mktexlsr: Updating /var/lib/texmf/ls-R-TEXMFMAIN...
mktexlsr: Done.
Processing triggers for systemd (215-17+deb8u4) ...
Processing triggers for libc-bin (2.19-18+deb8u4) ...
17:21 | 投票する | 投票数(0) | コメント(0)
12345