Enhanced the makefile for GCC users
Enhanced the makefile for GCC users


Former-commit-id: 953d07039fa748d165d18039e05010398a7fa168
rbaghdadi/pencil-benchmark,dividiti/pencil-benchmark,pencil-language/pencil-benchmark,rbaghdadi/pencil-benchmark,pencil-language/pencil-benchmark,pencil-language/pencil-benchmark,dividiti/pencil-benchmark,rbaghdadi/pencil-benchmark,dividiti/pencil-benchmark