diff --git a/Makefile b/Makefile index d13efa9..fc79d77 100644 --- a/Makefile +++ b/Makefile @@ -14,10 +14,10 @@ elea: \ long_division.o hello_world.c: hello_world.elea-txt caratteri.py - python caratteri.py $< + ./caratteri.py $< long_division.c: long_division.elea-txt caratteri.py - python caratteri.py $< + ./caratteri.py $< clean: FORCE @rm -f elea *.o tags hello_world.c long_division.c diff --git a/caratteri.py b/caratteri.py old mode 100644 new mode 100755 index d572ee6..d4a281d --- a/caratteri.py +++ b/caratteri.py @@ -1,3 +1,4 @@ +#!/usr/bin/env python3 # coding=utf8 import sys