Git Product home page Git Product logo

satysfi-cross-windows's People

Contributors

kissge avatar qnighy avatar

Stargazers

 avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar

Watchers

 avatar  avatar  avatar

satysfi-cross-windows's Issues

[質問] SATySFi for Windowsのコンパイル

SATySFi for Windows自体をコンパイルしようとしているのですが、
satysfi-windowsがコンパイルできません。助言いただけないでしょうか。

環境: Ubuntu18.04最小インストール on Hyper-V

手順: build-instruction.mdとの差異は以下のとおり

  • apt-get時にgawkを追加
  • opam switch 4.07.0

エラー:
opam pin add satysfi-windows . をしたときに

satysfi-windows needs to be installed.
Your request can't be satisfied:
  - satysfi-windows.~unknown is not available because the package is pinned to /home/yuya/git/satysfi-cross-windows, version ~unknown.

No solution found, exiting

[NOTE] Pinning command successful, but your installed packages may be out of sync.

と表示され、バイナリが生成されません。
また、 opam install satysfi-windows --verbose --debug の出力の一部に以下がありました。

00:03.628  HEURISTIC               state_of_request
00:03.628  HEURISTIC               state-of-request: install:(base-bigarray & base-bigarray (= 1) & base-threads & base-threads (= 1) & base-unix & base-unix (= 1) & conf-gcc-windows64 & ocaml-windows & opam-installer) remove:() upgrade:(satysfi-windows) criteria:"-removed,-notuptodate,-changed" CONFLICT!
00:03.628  CUDF                    resolve request=install:(base-bigarray & base-bigarray (= 1) & base-threads & base-threads (= 1) & base-unix & base-unix (= 1) & conf-gcc-windows64 & ocaml-windows & opam-installer) remove:() upgrade:(satysfi-windows) criteria:"-removed,-notuptodate,-changed"
00:03.629  CLIENT                  conflict!

Is the license for Junicode correct?

In the copyright.txt, Junicode is licensed under the GPL-2.0

Files: Junicode.ttf Junicode-Bold.ttf Junicode-Italic.ttf
Copyright: 2001-2012 Peter S. Baker <[email protected]>, Briery Creek Software
License: GPL-2

But in Junicode homepage

Junicode is and always will be free (available under the Open Font License).
http://junicode.sourceforge.net/

Wikipedia says

Junicode ("Junius-Unicode") is a free (SIL Open Font License) old-style serif typeface developed by Peter S. Baker of the University of Virginia. The design is based on a 17th-century typeface used in Oxford, England.
https://en.wikipedia.org/wiki/Junicode

I download the Junicode from here.
http://downloads.sourceforge.net/project/junicode/junicode/junicode-1.002/junicode-1.002.zip

The page 12 of doc/Junicode.pdf says

Junicode is licensed under the SIL Open Font License: for the full
text, go to http://scripts.sil.org/OFL.

I found the Junicode at another location
https://ctan.org/tex-archive/fonts/junicode

And also it is licensed under the Open Font License.

This is a TrueType font for medievalists (and others) with many
OpenType features. See the documentation, Junicode.pdf, for
specimens and detailed instructions.

License: Open Font License (http://scripts.sil.org/OFL)

However license displayed in the sidebar of the CTAN page is GPL, IDKW.

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.