Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
curry
kics
Commits
fa76fd70
Commit
fa76fd70
authored
Sep 11, 2007
by
bbr
Browse files
goal to build cpns server
parent
0a647ac9
Changes
1
Hide whitespace changes
Inline
Side-by-side
Makefile
View file @
fa76fd70
...
...
@@ -8,6 +8,7 @@ GHC = ghc --make -fglasgow-exts -i$(SRC) -H500m
LIBS
=
$(
shell
$(BIN)
kicslib
)
KICS
=
$(BIN)
kics
-v
-make
ORACLE
=
$(SRC)
oracle/
CPNS
=
cpns/
all
:
$(SRC)InstallDir.hs $(BIN)generate $(BIN)kicslib $(BIN)kics $(BIN)kicsi libs
...
...
@@ -99,3 +100,8 @@ bioprelude:
$(BIN)prettyflat
:
$(KICS)
-executable
-o
$(BIN)
prettyflat
-main
mainPrint PrettyFlat.curry
cpns
:
$(CPNS)CPNS.state
$(CPNS)CPNS.state
:
$(LIB)CPNS.curry
$(KICS)
-executable
-o
$(CPNS)
CPNS.state
$(LIB)
CPNS.curry
\ No newline at end of file
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment