mirror of
https://github.com/openbsd/ports.git
synced 2026-06-18 15:33:55 +02:00
daniel
4f5acb8126
A language in the ML family similar to lang/ocaml. Originally submitted to ports@ by Leo Larnack in 2022 and updated and tidied up by me for import. ok kirill@
16 lines
338 B
Plaintext
16 lines
338 B
Plaintext
@bin bin/poly
|
|
bin/polyc
|
|
@bin bin/polyimport
|
|
@static-lib lib/libpolymain.a
|
|
lib/libpolymain.la
|
|
@static-lib lib/libpolyml.a
|
|
lib/libpolyml.la
|
|
@lib lib/libpolyml.so.${LIBpolyml_VERSION}
|
|
lib/pkgconfig/polyml.pc
|
|
lib/polyml/
|
|
lib/polyml/modules/
|
|
lib/polyml/modules/IntInfAsInt
|
|
@man man/man1/poly.1
|
|
@man man/man1/polyc.1
|
|
@man man/man1/polyimport.1
|