Replace OASIS by jbuilder

Need a Raspberry Pi to do some testing.
This commit is contained in:
Marek Kubica 2018-07-10 19:24:54 +02:00
parent cdac97b364
commit db822ab65f
7 changed files with 46 additions and 27 deletions

16
.gitignore vendored
View File

@ -1,12 +1,4 @@
*.mllib
*.mldylib
*.clib
META
Makefile
configure
_tags
setup.ml
setup.data
setup.log
myocamlbuild.ml
_build/
/_build/
/_opam/
.merlin
*.install

11
Makefile Normal file
View File

@ -0,0 +1,11 @@
.PHONY: all
all:
jbuilder build --dev
.PHONY: clean
clean:
jbuilder clean
.PHONY: test
test:
jbuilder runtest --force

15
_oasis
View File

@ -1,15 +0,0 @@
OASISFormat: 0.4
Name: WiringPi
Version: 0.0.1
Synopsis: Binding to the WiringPi library for hardware access
Authors: Tobias Bora, Marek Kubica
License: LGPL-3 with OCaml linking exception
Plugins: META (0.4), DevFiles (0.4)
Library "WiringPi"
Path: src/
BuildTools: ocamlbuild
Modules: WiringPi
CSources: WiringPi_stubs.c
CCLib: -lwiringPi

2
pkg/pkg.ml Normal file
View File

@ -0,0 +1,2 @@
#use "topfind"
#require "topkg-jbuilder.auto"

3
src/jbuild Normal file
View File

@ -0,0 +1,3 @@
(library
((name wiringpi)
(public_name wiringpi)))

10
wiringpi.descr Normal file
View File

@ -0,0 +1,10 @@
WiringPi for OCaml, low level Raspberry Pi hardware access
WiringPi is a library that allows easy, Arduino-like access to hardware
functionality (GPIO pins mostly) of the Raspberry Pi minicomputer. That library
is written in C so what this package does is to provide a simple interface to
use the C library from OCaml. The API is unchanged (even the capitalization) to
provide an interface which is as similar as possible to the code that it is
based upon.
Please note that you need to install the WiringPi library first, as it is not
included in this package. Otherwise compilation will fail.

16
wiringpi.opam Normal file
View File

@ -0,0 +1,16 @@
opam-version: "1.2"
maintainer: "marek@xivilization.net"
homepage: "https://github.com/Leonidas-from-XIV/ocaml-wiringpi"
license: "LGPL-3 with OCaml linking exception"
build: ["jbuilder" "build" "-p" name "-j" jobs]
depends: [
"jbuilder" {build}
]
post-messages: [
"
This package requires WiringPi development files installed.
Tentative instructions : https://gist.githubusercontent.com/Leonidas-from-XIV/a1a7315ac01f7fbee3f0/raw
"
{failure}
]
available: os = "linux"