Commit b6064b8e authored by Guillaume Huard's avatar Guillaume Huard
Browse files

Fixes + push of the subject

parent 9c45d512
......@@ -11,7 +11,7 @@ BASES=Basic_System C_Programming
VPLPP_DIRS=$(addprefix $(VPLPP)/, $(BASES))
VPLPP_LOCAL=$(VPLPP)/local.sh
VPLPP_VPLADMIN=$(VPLPP)/vpladmin
VPLPP_EF=$(addsuffix /ef/*, $(VPLPP_DIRS))
VPLPP_EF=$(wildcard $(addsuffix /ef/*, $(VPLPP_DIRS)))
VPLPP_FILES=$(addsuffix .org, $(VPLPP_DIRS)) $(VPLPP_EF) $(VPLPP_LOCAL) $(VPLPP_VPLADMIN)
LOCAL_SRC=$(wildcard *.org)
......@@ -72,7 +72,7 @@ $(WRONG_DIRS): %_wrong: %/vpl_id.txt %_wrong/$(TARGET)
$(LOCALS): %/vpl_execution.sh: $(VPLPP_FILES)
cd $(VPLPP) && make files
cp -r $(VPLPP_EF) $*
cp $(VPLPP_EF) $*
$(PUSHES): %/push: %/vpl_execution.sh
touch $*/push
#!/usr/bin/env bash
PRECIOUS_FILES="vpl_execution.sh vpl_custom_run.sh vpl_evaluate.pl vpl_evaluate_setup.pl"
VPLPP=$(dirname $0)
VPLADMIN=$VPLPP/vpladmin
......@@ -31,11 +30,7 @@ then
export VPL_GRADEMAX=${VPL_GRADEMAX-100.0}
local_files=$(echo rf/* cf/* hf/* ef/*)
mkdir local_run
for file in $PRECIOUS_FILES
do
cp -v $file local_run
done
for file in $local_files
for file in *.sh *.pl $local_files
do
if [ -f "$file" ]
then
......@@ -68,6 +63,10 @@ else
do
cp hf/$file $dest/cf
done
if [ -f intro.html ]
then
$VPLADMIN --id $ID set_setting intro:intro.html
fi
cd $dest
typeset -A category
category[ef]=execution_files
......
Markdown is supported
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