Removed config file from repository
This commit is contained in:
parent
57f7da94c2
commit
92b15f76ec
1 changed files with 0 additions and 22 deletions
22
config
22
config
|
@ -1,22 +0,0 @@
|
|||
srcdir = .
|
||||
top_srcdir = .
|
||||
prefix = /opt/local
|
||||
exec_prefix = ${prefix}
|
||||
bindir = ${exec_prefix}/bin
|
||||
libdir = ${exec_prefix}/lib
|
||||
|
||||
INSTALL= /usr/bin/install -c
|
||||
MAKE= @MAKE@
|
||||
|
||||
BUILD= _build
|
||||
COMPILER=heptc
|
||||
SIMULATOR=hepts
|
||||
|
||||
INSTALL_BINDIR=$(bindir)
|
||||
INSTALL_LIBDIR=$(libdir)/heptagon
|
||||
STDLIB_DIR=${exec_prefix}/lib/heptagon
|
||||
|
||||
OCAMLBUILD=STDLIB=$(STDLIB_DIR) ocamlbuild
|
||||
|
||||
TARGET=byte
|
||||
ENABLE_SIMULATOR=yes
|
Loading…
Reference in a new issue