Skip to content

Commit

Permalink
* Add Minizinc.
Browse files Browse the repository at this point in the history
  • Loading branch information
@mame
mame committed Apr 17, 2016
1 parent 08e2486 commit 5cca071
Show file tree
Hide file tree
Showing 9 changed files with 297 additions and 277 deletions.
1 change: 1 addition & 0 deletions .travis.yml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -91,6 +91,7 @@ dummy: |
sudo docker cp qr:/usr/local/share/quine-relay/QR.lua spoiler/
sudo docker cp qr:/usr/local/share/quine-relay/QR.mk spoiler/
sudo docker cp qr:/usr/local/share/quine-relay/QR.mac spoiler/
sudo docker cp qr:/usr/local/share/quine-relay/QR.mzn spoiler/
sudo docker cp qr:/usr/local/share/quine-relay/QR.il spoiler/
sudo docker cp qr:/usr/local/share/quine-relay/QR.asm spoiler/
sudo docker cp qr:/usr/local/share/quine-relay/QR.neko spoiler/
Expand Down
1 change: 1 addition & 0 deletions Dockerfile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -58,6 +58,7 @@ RUN apt-get -qq install -y llvm && apt-get clean
RUN apt-get -qq install -y lua5.3 && apt-get clean
RUN apt-get -qq install -y make && apt-get clean
RUN apt-get -qq install -y maxima && apt-get clean
RUN apt-get -qq install -y minizinc && apt-get clean
RUN apt-get -qq install -y mlton && apt-get clean
RUN apt-get -qq install -y mono-devel && apt-get clean
RUN apt-get -qq install -y mono-mcs && apt-get clean
Expand Down
69 changes: 39 additions & 30 deletions Makefile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -672,18 +672,27 @@ QR.mac: QR.mk
@echo
make -f QR.mk > QR.mac

QR.il: QR.mac
QR.mzn: QR.mac
@echo
@echo "##########################"
@echo "## 76: Maxima -> MSIL ##"
@echo "##########################"
@echo "##############################"
@echo "## 76: Maxima -> MiniZinc ##"
@echo "##############################"
@echo
maxima -q --init-mac=QR.mac > QR.il
maxima -q --init-mac=QR.mac > QR.mzn

QR.il: QR.mzn
@echo
@echo "############################"
@echo "## 77: MiniZinc -> MSIL ##"
@echo "############################"
@echo
mzn2fzn QR.mzn
fzn-gecode QR.fzn | solns2out --soln-sep '' QR.ozn > QR.il

QR.asm: QR.il
@echo
@echo "########################"
@echo "## 77: MSIL -> NASM ##"
@echo "## 78: MSIL -> NASM ##"
@echo "########################"
@echo
ilasm QR.il
Expand All @@ -692,7 +701,7 @@ QR.asm: QR.il
QR.neko: QR.asm
@echo
@echo "########################"
@echo "## 78: NASM -> Neko ##"
@echo "## 79: NASM -> Neko ##"
@echo "########################"
@echo
nasm -felf QR.asm
Expand All @@ -702,7 +711,7 @@ QR.neko: QR.asm
QR.5c: QR.neko
@echo
@echo "##########################"
@echo "## 79: Neko -> Nickle ##"
@echo "## 80: Neko -> Nickle ##"
@echo "##########################"
@echo
nekoc QR.neko
Expand All @@ -711,15 +720,15 @@ QR.5c: QR.neko
QR.nim: QR.5c
@echo
@echo "#########################"
@echo "## 80: Nickle -> Nim ##"
@echo "## 81: Nickle -> Nim ##"
@echo "#########################"
@echo
nickle QR.5c > QR.nim

QR.m: QR.nim
@echo
@echo "##############################"
@echo "## 81: Nim -> Objective-C ##"
@echo "## 82: Nim -> Objective-C ##"
@echo "##############################"
@echo
nim c QR.nim
Expand All @@ -728,7 +737,7 @@ QR.m: QR.nim
QR.ml: QR.m
@echo
@echo "################################"
@echo "## 82: Objective-C -> OCaml ##"
@echo "## 83: Objective-C -> OCaml ##"
@echo "################################"
@echo
gcc -o QR QR.m
Expand All @@ -737,23 +746,23 @@ QR.ml: QR.m
QR.octave: QR.ml
@echo
@echo "###########################"
@echo "## 83: OCaml -> Octave ##"
@echo "## 84: OCaml -> Octave ##"
@echo "###########################"
@echo
ocaml QR.ml > QR.octave

QR.ook: QR.octave
@echo
@echo "##########################"
@echo "## 84: Octave -> Ook! ##"
@echo "## 85: Octave -> Ook! ##"
@echo "##########################"
@echo
octave -qf QR.octave > QR.ook

QR.gp: QR.ook
@echo
@echo "###########################"
@echo "## 85: Ook! -> PARI/GP ##"
@echo "## 86: Ook! -> PARI/GP ##"
@echo "###########################"
@echo
ruby vendor/ook-to-bf.rb QR.ook QR.ook.bf
Expand All @@ -762,23 +771,23 @@ QR.gp: QR.ook
QR.pasm: QR.gp
@echo
@echo "#################################"
@echo "## 86: PARI/GP -> Parrot asm ##"
@echo "## 87: PARI/GP -> Parrot asm ##"
@echo "#################################"
@echo
gp -f -q QR.gp > QR.pasm

QR.pas: QR.pasm
@echo
@echo "################################"
@echo "## 87: Parrot asm -> Pascal ##"
@echo "## 88: Parrot asm -> Pascal ##"
@echo "################################"
@echo
parrot QR.pasm > QR.pas

QR.pl: QR.pas
@echo
@echo "##########################"
@echo "## 88: Pascal -> Perl ##"
@echo "## 89: Pascal -> Perl ##"
@echo "##########################"
@echo
fpc QR.pas
Expand All @@ -787,79 +796,79 @@ QR.pl: QR.pas
QR.php: QR.pl
@echo
@echo "#######################"
@echo "## 89: Perl -> PHP ##"
@echo "## 90: Perl -> PHP ##"
@echo "#######################"
@echo
perl QR.pl > QR.php

QR.png: QR.php
@echo
@echo "#######################"
@echo "## 90: PHP -> Piet ##"
@echo "## 91: PHP -> Piet ##"
@echo "#######################"
@echo
php QR.php > QR.png

QR.pike: QR.png
@echo
@echo "########################"
@echo "## 91: Piet -> Pike ##"
@echo "## 92: Piet -> Pike ##"
@echo "########################"
@echo
npiet QR.png > QR.pike

QR.ps: QR.pike
@echo
@echo "##############################"
@echo "## 92: Pike -> PostScript ##"
@echo "## 93: Pike -> PostScript ##"
@echo "##############################"
@echo
pike QR.pike > QR.ps

QR.ppt: QR.ps
@echo
@echo "############################################"
@echo "## 93: PostScript -> PPT (Punched tape) ##"
@echo "## 94: PostScript -> PPT (Punched tape) ##"
@echo "############################################"
@echo
gs -dNODISPLAY -q QR.ps > QR.ppt

QR.prolog: QR.ppt
@echo
@echo "########################################"
@echo "## 94: PPT (Punched tape) -> Prolog ##"
@echo "## 95: PPT (Punched tape) -> Prolog ##"
@echo "########################################"
@echo
ppt -d < QR.ppt > QR.prolog

QR.py: QR.prolog
@echo
@echo "############################"
@echo "## 95: Prolog -> Python ##"
@echo "## 96: Prolog -> Python ##"
@echo "############################"
@echo
swipl -q -t qr -f QR.prolog > QR.py

QR.R: QR.py
@echo
@echo "#######################"
@echo "## 96: Python -> R ##"
@echo "## 97: Python -> R ##"
@echo "#######################"
@echo
python QR.py > QR.R

QR.ratfor: QR.R
@echo
@echo "#######################"
@echo "## 97: R -> Ratfor ##"
@echo "## 98: R -> Ratfor ##"
@echo "#######################"
@echo
R --slave -f QR.R > QR.ratfor

QR.rexx: QR.ratfor
@echo
@echo "##########################"
@echo "## 98: Ratfor -> REXX ##"
@echo "## 99: Ratfor -> REXX ##"
@echo "##########################"
@echo
ratfor -o QR.ratfor.f QR.ratfor
Expand All @@ -868,9 +877,9 @@ QR.rexx: QR.ratfor

QR2.rb: QR.rexx
@echo
@echo "########################"
@echo "## 99: REXX -> Ruby ##"
@echo "########################"
@echo "#########################"
@echo "## 100: REXX -> Ruby ##"
@echo "#########################"
@echo
rexx ./QR.rexx > QR2.rb

Expand Down
Loading

0 comments on commit 5cca071

Please sign in to comment.