#!/bin/bash
#
# This wrapper executes the given argument within the dune virtualenv. 
# It is used for all unix-like systems.
#

source @DUNE_VIRTUALENV_PATH@/bin/activate
@DUNE_VIRTUALENV_COMMANDS@ $@
ret=$?
deactivate
exit $ret