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
curry-tools
Commits
e81b585e
Commit
e81b585e
authored
May 10, 2013
by
Michael Hanus
Browse files
Typo in Makefile corrected
parent
173fa0fb
Changes
1
Hide whitespace changes
Inline
Side-by-side
browser/Makefile
View file @
e81b585e
...
...
@@ -24,7 +24,7 @@ BrowserGUI: BrowserGUI.curry ShowFlatCurry.curry Imports.curry \
$(META)/FlatCurry.curry $(META)/FlatCurryShow.curry
\
analysis/*.curry $(ANADIR)/*.curry
$(ROOT)
/bin/
$(CURRYSYSTEM)
$(REPL_OPTS)
\
:set path analysis:
:
$(CASS)
:
$(ANADIR)
:
$(CURRYTOOLS)
/importcalls:
$(CURRYTOOLS)
/addtypes
\
:set path analysis:
$(CASS)
:
$(ANADIR)
:
$(CURRYTOOLS)
/importcalls:
$(CURRYTOOLS)
/addtypes
\
:l BrowserGUI :eval
"patchReadmeVersion"
:save :q
(
cd
$(ROOT)
/bin
;
rm
-f
currybrowse
;
\
ln
-s
../currytools/browser/BrowserGUI currybrowse
)
...
...
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