Bugfix in basic scripts for PyNQ

bin/tapasco-build-libs

@@ -18,7 +18,7 @@ print 'Build mode: ' + args.mode
 
 if not 'TAPASCO_PLATFORM' in os.environ:
 	print('Environment variable TAPASCO_PLATFORM is not set, guessing Platform ...')
-	if gethostname() in ['zed', 'zedboard', 'zc706', 'zynq']:
+	if gethostname() in ['zed', 'zedboard', 'zc706', 'zynq', 'pynq']:
 		os.environ['TAPASCO_PLATFORM'] = 'zynq'
 	else:
 		os.environ['TAPASCO_PLATFORM'] = 'vc709'
@@ -36,9 +36,12 @@ if clean or args.rebuild:
 
 if not clean:
 	if debug:
-	    print('Building debug mode libraries...')
+		print('Building debug mode libraries...')
 	else:
-	    print('Building release mode libraries, pass "debug" as first argument to build debug libs...')
+		print('Building release mode libraries, pass "debug" as first argument to build debug libs...')
+	
+	if not os.environ['LINUX_HOME'] is None:
+		subprocess.call(['make -C ' + os.environ['LINUX_HOME'] + ' scripts'], shell=True)
 	
 	if os.environ['TAPASCO_PLATFORM'] is 'vc709':
 		print 'cd ' + moddir + ' && make ' + ('DEBUG_VERBOSE=y ' if driver_debug else ' ')

bin/tapasco-load-bitstream

@@ -16,7 +16,7 @@ if not os.path.exists(args.bitstream):
 
 if not 'TAPASCO_PLATFORM' in os.environ:
 	print('Environment variable TAPASCO_PLATFORM is not set, guessing Platform ...')
-	if gethostname() in ['zed', 'zedboard', 'zc706', 'zynq']:
+	if gethostname() in ['zed', 'zedboard', 'zc706', 'zynq', 'pynq']:
 		os.environ['TAPASCO_PLATFORM'] = 'zynq'
 	else:
 		os.environ['TAPASCO_PLATFORM'] = 'vc709'