This repository has been archived on 2024-07-04. You can view files and clone it, but cannot push or open issues or pull requests.
|
#!/bin/sh
|
|
|
|
## To be able to run fluents without installing it, we have to set
|
|
## PYTHONPATH.
|
|
|
|
export PYTHONPATH=.
|
|
./bin/fluents $@
|
|
|