39 lines
2.6 KiB
Plaintext
39 lines
2.6 KiB
Plaintext
# Created by paludis-2.6.0-git-2.6.0-13-g7d83832 on Sun Nov 27 03:20:05 CET 2016
|
|
CHOST="x86_64-pc-linux-gnu"
|
|
DEPENDENCIES="( build: dev-lang/fsharp dev-lang/ocaml[>=4.02.2] dev-ocaml/batteries dev-ocaml/findlib dev-ocaml/yojson dev-ocaml/zarith build+run: dev-libs/gmp:=6 run: sci-apps/z3 ) [[ defined-in = [ fstar-scm.exheres-0 ] ]] ( ( build+fetch: sys-apps/util-linux[>=2.13_pre2] dev-scm/git[>=1.6.0][curl] net-misc/curl[ssl(+)] ) ) [[ defined-in = [ scm.exlib ] ]]"
|
|
DESCRIPTION=" F* (pronounced F star) is an ML-like functional programming language aimed at program verification. Its type system includes polymorphism, dependent types, monadic effects, refinement types, and a weakest precondition calculus. Together, these features allow expressing precise and compact specifications for programs, including functional correctness and security properties. The F* type- checker aims to prove that programs meet their specifications using a combination of SMT solving and manual proofs. Programs written in F* can be translated to OCaml or F# for execution."
|
|
EAPI="pbin-1+exheres-0"
|
|
HOMEPAGE="https://www.fstar-lang.org https://github.com/FStarLang/FStar"
|
|
INHERITED=" scm-git scm github"
|
|
MYOPTIONS="( ) "
|
|
PLATFORMS="~amd64"
|
|
LICENCES="Apache-2.0"
|
|
SLOT="0"
|
|
DOWNLOADS=""
|
|
OPTIONS=""
|
|
GENERATED_USING="paludis-2.6.0-git-2.6.0-13-g7d83832"
|
|
GENERATED_TIME="1480213205"
|
|
SUBOPTIONS="AMD64_CPU_FEATURES ANT_DATA_TYPES ANT_SCRIPTING ANT_TASKS APACHE_MODULES ARM_CPU_FEATURES CONTRIB_MODULES COURIER_MODULES ENCODINGS EPIPHANY_EXTENSIONS EXTENSIONS FPRINT_DRIVERS GCC_VERSION GIT_REMOTE_HELPERS GSTREAMER_PLUGINS IM_PROTOCOLS INPUT_DRIVERS KDE_PARTS KIPI_PLUGINS KOPETE_PLUGINS LIBC LINGUAS LUA_ABIS MODULES MULTIBUILD_C NGINX_MODULES NUT_DRIVERS P2P_NETWORKS PCSC_DRIVERS PHP_ABIS PHP_EXTENSIONS PLATFORM PLUGINS POSTGRESQL_EXTENSIONS PROVIDERS PYTHON_ABIS RUBY_ABIS TARGETS VALA_ABIS VIDEO_DRIVERS X86_CPU_FEATURES"
|
|
HIDDEN_SUBOPTIONS="ARM_CPU_FEATURES LIBC MULTIBUILD_C PLATFORM X86_CPU_FEATURES"
|
|
ASFLAGS=""
|
|
CBUILD=""
|
|
CC="x86_64-pc-linux-gnu-cc"
|
|
CFLAGS="-march=native -pipe -O2"
|
|
CHOST="x86_64-pc-linux-gnu"
|
|
CTARGET=""
|
|
CXX="x86_64-pc-linux-gnu-c++"
|
|
CXXFLAGS="-march=native -pipe -O2"
|
|
LDFLAGS="-Wl,-O1 -Wl,--as-needed -Wl,--hash-style=gnu"
|
|
LIBCXXFLAGS=""
|
|
GENERATED_FROM_REPOSITORY="hasufell"
|
|
PLATFORMS="~amd64"
|
|
BINARY_PLATFORMS="~amd64"
|
|
BINARY_URI="mirror://hasufell-binhost/hasufell-binhost--dev-lang--fstar-scm--C.16377.1480213202.507591.C.tar.bz2"
|
|
SUMMARY="An ML-like language with a type system for program verification"
|
|
BUGS_TO="hasufell@posteo.de"
|
|
REMOTE_IDS=" github:FStarLang/FStar "
|
|
UPSTREAM_CHANGELOG=""
|
|
UPSTREAM_RELEASE_NOTES=""
|
|
UPSTREAM_DOCUMENTATION=""
|
|
SCM_REVISION="ddd19b13af2c7aba63e1a46584f7d3968e4df452"
|