https://github.com/puripuri2100/xml2saty
This software converts xml file to SATySFi's document file.
https://github.com/puripuri2100/xml2saty
ocaml opam satysfi satysfi-document xml xml2saty
Last synced: 3 months ago
JSON representation
This software converts xml file to SATySFi's document file.
- Host: GitHub
- URL: https://github.com/puripuri2100/xml2saty
- Owner: puripuri2100
- License: mit
- Created: 2020-01-13T07:41:56.000Z (over 5 years ago)
- Default Branch: master
- Last Pushed: 2020-05-03T07:32:33.000Z (about 5 years ago)
- Last Synced: 2024-12-29T07:24:12.874Z (5 months ago)
- Topics: ocaml, opam, satysfi, satysfi-document, xml, xml2saty
- Language: OCaml
- Homepage:
- Size: 129 KB
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# xml2saty
This software converts xml file to SATySFi's document file.
# Install using OPAM
Here is a list of minimally required softwares.
* git
* make
* [opam](https://opam.ocaml.org/) 2.0
* ocaml (>= 4.06.0) (installed by OPAM)
## Example
### Install opam (Ubuntu)
```sh
sh <(curl -sL https://raw.githubusercontent.com/ocaml/opam/master/shell/install.sh)
eval $(opam env)
```
### Install ocaml (Ubuntu)
```sh
opam init --comp 4.07.1
```
### Install ocaml (Ubuntu on WSL)
```sh
opam init --comp 4.07.1 --disable-sandboxing
```
### Build
```sh
git clone https://github.com/puripuri2100/xml2saty.git
cd xml2saty
opam pin add xml2saty .
opam install xml2saty
```
# Usage of xml2saty
Type
```sh
xml2saty -o -c
```
## Starting out
```sh
make example
```
If `example/gengou.saty` and `example/keihou.saty` are created, then the setup has been finished correctly.
---
This software released under [the MIT license](https://github.com/puripuri2100/xml2saty/blob/master/LICENSE).
Copyright (c) 2020 Naoki Kaneko (a.k.a. "puripuri2100")