coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Michel Levy <michel.levy1948 AT gmail.com>
- To: coq-club AT inria.fr
- Subject: [Coq-Club] ocaml on recent synology
- Date: Wed, 6 Jul 2016 14:17:58 +0200
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=michel.levy1948 AT gmail.com; spf=Pass smtp.mailfrom=michel.levy1948 AT gmail.com; spf=None smtp.helo=postmaster AT mail-wm0-f52.google.com
- Ironport-phdr: 9a23:wuwHUh1giHh9NsNgsmDT+DRfVm0co7zxezQtwd8ZsegVLvad9pjvdHbS+e9qxAeQG96Ks7Qe1aGN4+jJYi8p2d65qncMcZhBBVcuqP49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL2PbrnD61zMOABK3bVMzfbWtXNSMxJ/nn8mJuLTrKz1SgzS8Zb4gZD6Xli728vcsvI15N6wqwQHIqHYbM85fxGdvOE7B102kvpT4r9Zf9HFbvOtk/MpdW437eb45RPpWFmcIKWcwsejqvhnOSUOr62UNGjETkxFIDgyD6BzkT86g7nvSue902S3cNsrzG+NnEQ++5rtmHUe7wBwMMCQ0pTna
I need to have ocaml running (at least ocamlrun) on my synology DS115j.
The system running on this server is Linux DiskSynology 3.2.40 : it has no apt-get, no gcc, so it's impossible to compile the source.
Do you know a solution to install ocaml in such a (hostile) environment ?
- [Coq-Club] ocaml on recent synology, Michel Levy, 07/06/2016
- RE: [Coq-Club] ocaml on recent synology, Soegtrop, Michael, 07/06/2016
Archive powered by MHonArc 2.6.18.