Commit c24cb1f2 authored by Michael Hanus's avatar Michael Hanus
Browse files

runcurry downloaded from CPM

parent 78263861
......@@ -35,4 +35,4 @@ CurryCheck: $(DEPS)
# run the test suite
runtest:
cpm test
$(BINDIR)/cpm test
......@@ -43,4 +43,4 @@ Main: $(DEPS)
# Testing the preprocessor via CPM
.PHONY: runtest
runtest:
cpm test
$(BINDIR)/cpm test
......@@ -4,6 +4,20 @@
#
# Note that the execution of this script requires an already installed 'cpm'!
##############################################################################
echo "Updating 'cpm'..."
mv cpm/Makefile Makefile.cpm # keep old Makefile
rm -rf cpm
cpm checkout cpm
cd cpm
rm -rf .git* bin package.json
make fetchdeps
rm -rf vendor/*/.git*
rm -rf dependencies.txt fetch-dependencies.sh Makefile
cd ..
mv Makefile.cpm cpm/Makefile
echo "'cpm' updated from package repository."
##############################################################################
echo "Updating 'currypp'..."
mv currypp/Makefile Makefile.currypp # keep old Makefile
......@@ -148,15 +162,12 @@ mv Makefile.optimize optimize/Makefile
echo "'optimize' updated from package repository."
##############################################################################
echo "Updating 'cpm'..."
mv cpm/Makefile Makefile.cpm # keep old Makefile
rm -rf cpm
cpm checkout cpm
cd cpm
rm -rf .git* bin package.json
make fetchdeps
rm -rf vendor/*/.git*
rm -rf dependencies.txt fetch-dependencies.sh Makefile
echo "Updating 'runcurry'..."
mv runcurry/Makefile Makefile.runcurry # keep old Makefile
rm -rf runcurry
cpm checkout runcurry
cd runcurry
rm -rf .cpm .git*
cd ..
mv Makefile.cpm cpm/Makefile
echo "'cpm' updated from package repository."
mv Makefile.runcurry runcurry/Makefile
echo "'runcurry' updated from package repository."
......@@ -24,9 +24,8 @@ compile: BindingOpt
load:
$(REPL) $(REPL_OPTS) :set path $(LOADPATH) :l BindingOpt
# Compile and create an executable of the application:
# Compile and create an executable of the binding optimizer:
BindingOpt: $(DEPS)
# create executable for top-level function "main":
$(REPL) $(REPL_OPTS) :set path $(LOADPATH) :l BindingOpt :save :q
# Clean intermediate files:
......@@ -40,4 +39,4 @@ uninstall: clean
# run the test suite
runtest:
cpm test
$(BINDIR)/cpm test
# Makefile for generating GenInt tool
# binary
TOOL = $(BINDIR)/$(CURRYSYSTEM)-run
TOOL = $(BINDIR)/runcurry
# The load path of the browser:
LOADPATH = src
# Source modules:
DEPS = src/*.curry
.PHONY: all compile install clean uninstall runtest
......@@ -9,10 +15,9 @@ all: install
compile: RunCurry
install: compile # no further installation required
install: compile
rm -f $(TOOL) $(BINDIR)/runcurry
cd $(BINDIR) && ln -s ../currytools/runcurry/RunCurry $(notdir $(TOOL))
cd $(BINDIR) && ln -s $(notdir $(TOOL)) runcurry # for backward compatibility
clean:
$(CLEANCURRY)
......@@ -20,12 +25,11 @@ clean:
uninstall: clean
rm -f $(TOOL)
rm -f $(BINDIR)/runcurry # for backward compatibility
# generate executable for currydoc program:
RunCurry: RunCurry.curry
$(REPL) $(REPL_OPTS) :load RunCurry :save :quit
RunCurry: $(DEPS)
$(REPL) $(REPL_OPTS) :set path $(LOADPATH) :load RunCurry :save :quit
# run the test suite
runtest:
cd Examples && ./test.sh $(RUNTESTPARAMS)
$(BINDIR)/cpm test
#!/bin/sh
# Shell script to test the current set of examples
CURRYBIN="../../../bin"
# Root location of the Curry System specified by variable CURRYROOT
CURRYROOT=`curry :set v0 :set -time :add Distribution :eval "putStrLn installDir" :quit`
CURRYBIN=$CURRYROOT/bin
if [ -x "$CURRYBIN/pakcs" ] ; then
CURRYEXEC=pakcs
CURRYOPTIONS="-q :set v0 :set -free :set +verbose"
elif [ -x "$CURRYBIN/kics2" ] ; then
CURRYEXEC=kics2
CURRYOPTIONS=":set v0 :set -ghci"
else
echo "ERROR: Unknown Curry system!"
exit 1
......
{
"name": "runcurry",
"version": "0.0.1",
"author": "Michael Hanus <mh@informatik.uni-kiel.de>",
"synopsis": "Implementation of a command to run Curry programs directly",
"category": [ "Programming" ],
"dependencies": { },
"executable": {
"name": "runcurry",
"main": "RunCurry"
},
"testsuite": {
"src-dir": "examples",
"options": "-v",
"script": "test.sh"
},
"source": {
"git": "https://git.ps.informatik.uni-kiel.de/curry-packages/runcurry.git",
"tag": "$version"
}
}
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment